<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
<HTML>
<HEAD>
<LINK REL=STYLESHEET TYPE="text/css" HREF="../stylesheet.css" TITLE="Style">
<META NAME="GENERATOR" CONTENT="Java2HTML Version 1.5">
<TITLE>jminusminus.NControlFlowGraph (Java2HTML)</TITLE>
</HEAD>
<BODY><TABLE id="Header" border="0" cellpadding="0" cellspacing="0" width="100%">
<tr>
<td colspan="2" width="33%">&nbsp;</td>
<td align="center" colspan="2" width="33%">
<font size="4">NControlFlowGraph.java</font>
</td>
<td align="right" colspan="2" width="33%">&nbsp;</td>
</tr>
</TABLE>
<pre ID="Classes">
<FONT ID="LN">1   </FONT><A NAME="1"></A><FONT ID="SingleLineComment">// Copyright 2013 Bill Campbell, Swami Iyer and Bahar Akbal-Delibas
<FONT ID="LN">2   </FONT><A NAME="2"></A></FONT>
<FONT ID="LN">3   </FONT><A NAME="3"></A><FONT ID="Package">package</FONT> jminusminus;
<FONT ID="LN">4   </FONT><A NAME="4"></A>
<FONT ID="LN">5   </FONT><A NAME="5"></A><FONT ID="Import">import</FONT> <FONT ID="Static">static</FONT> <A HREF="../jminusminus/CLConstants.java.html">jminusminus.CLConstants</A>.*;
<FONT ID="LN">6   </FONT><A NAME="6"></A><FONT ID="Import">import</FONT> java.util.ArrayList;
<FONT ID="LN">7   </FONT><A NAME="7"></A><FONT ID="Import">import</FONT> java.util.BitSet;
<FONT ID="LN">8   </FONT><A NAME="8"></A><FONT ID="Import">import</FONT> java.util.HashMap;
<FONT ID="LN">9   </FONT><A NAME="9"></A><FONT ID="Import">import</FONT> java.util.LinkedList;
<FONT ID="LN">10  </FONT><A NAME="10"></A><FONT ID="Import">import</FONT> java.util.Stack;
<FONT ID="LN">11  </FONT><A NAME="11"></A><FONT ID="Import">import</FONT> java.util.TreeMap;
<FONT ID="LN">12  </FONT><A NAME="12"></A><FONT ID="Import">import</FONT> java.util.Queue;
<FONT ID="LN">13  </FONT><A NAME="13"></A>
<FONT ID="LN">14  </FONT><A NAME="14"></A><FONT ID="FormalComment">/**
<FONT ID="LN">15  </FONT><A NAME="15"></A> * A tuple representation of a JVM instruction.
<FONT ID="LN">16  </FONT><A NAME="16"></A> */</FONT>
<FONT ID="LN">17  </FONT><A NAME="17"></A>
<FONT ID="LN">18  </FONT><A NAME="18"></A><FONT ID="Class">class</FONT> NTuple {
<FONT ID="LN">19  </FONT><A NAME="19"></A>
<FONT ID="LN">20  </FONT><A NAME="20"></A>    <FONT ID="FormalComment">/** Program counter of the instruction. */</FONT>
<FONT ID="LN">21  </FONT><A NAME="21"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> pc;
<FONT ID="LN">22  </FONT><A NAME="22"></A>
<FONT ID="LN">23  </FONT><A NAME="23"></A>    <FONT ID="FormalComment">/** Opcode of the instruction. */</FONT>
<FONT ID="LN">24  </FONT><A NAME="24"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> opcode;
<FONT ID="LN">25  </FONT><A NAME="25"></A>
<FONT ID="LN">26  </FONT><A NAME="26"></A>    <FONT ID="FormalComment">/** Operands of the instructions. */</FONT>
<FONT ID="LN">27  </FONT><A NAME="27"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;Short&gt; operands;
<FONT ID="LN">28  </FONT><A NAME="28"></A>
<FONT ID="LN">29  </FONT><A NAME="29"></A>    <FONT ID="FormalComment">/** String representation (mnemonic) of the instruction. */</FONT>
<FONT ID="LN">30  </FONT><A NAME="30"></A>    <FONT ID="Public">public</FONT> String mnemonic;
<FONT ID="LN">31  </FONT><A NAME="31"></A>
<FONT ID="LN">32  </FONT><A NAME="32"></A>    <FONT ID="FormalComment">/** Is this tuple the leader of the block containing it. */</FONT>
<FONT ID="LN">33  </FONT><A NAME="33"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> isLeader;
<FONT ID="LN">34  </FONT><A NAME="34"></A>
<FONT ID="LN">35  </FONT><A NAME="35"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">36  </FONT><A NAME="36"></A>     * Construct a tuple representing the JVM instruction with the given program
<FONT ID="LN">37  </FONT><A NAME="37"></A>     * counter, opcode, and operand list.
<FONT ID="LN">38  </FONT><A NAME="38"></A>     * 
<FONT ID="LN">39  </FONT><A NAME="39"></A>     * @param pc
<FONT ID="LN">40  </FONT><A NAME="40"></A>     *            program counter.
<FONT ID="LN">41  </FONT><A NAME="41"></A>     * @param opcode
<FONT ID="LN">42  </FONT><A NAME="42"></A>     *            opcode of the instruction.
<FONT ID="LN">43  </FONT><A NAME="43"></A>     * @param operands
<FONT ID="LN">44  </FONT><A NAME="44"></A>     *            list of operands of the instruction.
<FONT ID="LN">45  </FONT><A NAME="45"></A>     */</FONT>
<FONT ID="LN">46  </FONT><A NAME="46"></A>
<FONT ID="LN">47  </FONT><A NAME="47"></A>    <FONT ID="Public">public</FONT> NTuple(<FONT ID="Int">int</FONT> pc, <FONT ID="Int">int</FONT> opcode, ArrayList&lt;Short&gt; operands) {
<FONT ID="LN">48  </FONT><A NAME="48"></A>        <FONT ID="This">this</FONT>.pc = pc;
<FONT ID="LN">49  </FONT><A NAME="49"></A>        <FONT ID="This">this</FONT>.opcode = opcode;
<FONT ID="LN">50  </FONT><A NAME="50"></A>        <FONT ID="This">this</FONT>.operands = operands;
<FONT ID="LN">51  </FONT><A NAME="51"></A>        <FONT ID="This">this</FONT>.mnemonic = CLInstruction.instructionInfo[opcode].mnemonic;
<FONT ID="LN">52  </FONT><A NAME="52"></A>        <FONT ID="This">this</FONT>.isLeader = <FONT ID="False">false</FONT>;
<FONT ID="LN">53  </FONT><A NAME="53"></A>    }
<FONT ID="LN">54  </FONT><A NAME="54"></A>
<FONT ID="LN">55  </FONT><A NAME="55"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">56  </FONT><A NAME="56"></A>     * Write the information pertaining to this tuple to STDOUT.
<FONT ID="LN">57  </FONT><A NAME="57"></A>     * 
<FONT ID="LN">58  </FONT><A NAME="58"></A>     * @param p
<FONT ID="LN">59  </FONT><A NAME="59"></A>     *            for pretty printing with indentation.
<FONT ID="LN">60  </FONT><A NAME="60"></A>     */</FONT>
<FONT ID="LN">61  </FONT><A NAME="61"></A>
<FONT ID="LN">62  </FONT><A NAME="62"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeToStdOut(PrettyPrinter p) {
<FONT ID="LN">63  </FONT><A NAME="63"></A>        p.printf(<FONT ID="StringLiteral">"%s: %s"</FONT>, pc, mnemonic);
<FONT ID="LN">64  </FONT><A NAME="64"></A>        <FONT ID="For">for</FONT> (<FONT ID="Short">short</FONT> s : operands) {
<FONT ID="LN">65  </FONT><A NAME="65"></A>            p.printf(<FONT ID="StringLiteral">" %s"</FONT>, s);
<FONT ID="LN">66  </FONT><A NAME="66"></A>        }
<FONT ID="LN">67  </FONT><A NAME="67"></A>        p.printf(<FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">68  </FONT><A NAME="68"></A>    }
<FONT ID="LN">69  </FONT><A NAME="69"></A>
<FONT ID="LN">70  </FONT><A NAME="70"></A>}
<FONT ID="LN">71  </FONT><A NAME="71"></A>
<FONT ID="LN">72  </FONT><A NAME="72"></A><FONT ID="FormalComment">/**
<FONT ID="LN">73  </FONT><A NAME="73"></A> * Representation of a block within a control flow graph.
<FONT ID="LN">74  </FONT><A NAME="74"></A> */</FONT>
<FONT ID="LN">75  </FONT><A NAME="75"></A>
<FONT ID="LN">76  </FONT><A NAME="76"></A><FONT ID="Class">class</FONT> NBasicBlock {
<FONT ID="LN">77  </FONT><A NAME="77"></A>
<FONT ID="LN">78  </FONT><A NAME="78"></A>    <FONT ID="FormalComment">/** The control flow graph (cfg) that this block belongs to. */</FONT>
<FONT ID="LN">79  </FONT><A NAME="79"></A>    <FONT ID="Public">public</FONT> <A HREF="../jminusminus/NControlFlowGraph.java.html">NControlFlowGraph</A> cfg;
<FONT ID="LN">80  </FONT><A NAME="80"></A>
<FONT ID="LN">81  </FONT><A NAME="81"></A>    <FONT ID="FormalComment">/** Unique identifier of ths block. */</FONT>
<FONT ID="LN">82  </FONT><A NAME="82"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> id;
<FONT ID="LN">83  </FONT><A NAME="83"></A>
<FONT ID="LN">84  </FONT><A NAME="84"></A>    <FONT ID="FormalComment">/** List of tuples in this block. */</FONT>
<FONT ID="LN">85  </FONT><A NAME="85"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;NTuple&gt; tuples;
<FONT ID="LN">86  </FONT><A NAME="86"></A>
<FONT ID="LN">87  </FONT><A NAME="87"></A>    <FONT ID="FormalComment">/** List of predecessor blocks. */</FONT>
<FONT ID="LN">88  </FONT><A NAME="88"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;NBasicBlock&gt; predecessors;
<FONT ID="LN">89  </FONT><A NAME="89"></A>
<FONT ID="LN">90  </FONT><A NAME="90"></A>    <FONT ID="FormalComment">/** List of successor blocks. */</FONT>
<FONT ID="LN">91  </FONT><A NAME="91"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;NBasicBlock&gt; successors;
<FONT ID="LN">92  </FONT><A NAME="92"></A>
<FONT ID="LN">93  </FONT><A NAME="93"></A>    <FONT ID="FormalComment">/** List of high-level (HIR) instructions in this block. */</FONT>
<FONT ID="LN">94  </FONT><A NAME="94"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;Integer&gt; hir;
<FONT ID="LN">95  </FONT><A NAME="95"></A>
<FONT ID="LN">96  </FONT><A NAME="96"></A>    <FONT ID="FormalComment">/** List of low-level (LIR) instructions in this block. */</FONT>
<FONT ID="LN">97  </FONT><A NAME="97"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A>&gt; lir;
<FONT ID="LN">98  </FONT><A NAME="98"></A>
<FONT ID="LN">99  </FONT><A NAME="99"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">100 </FONT><A NAME="100"></A>     * The state array for this block that maps local variable index to the HIR
<FONT ID="LN">101 </FONT><A NAME="101"></A>     * instruction that last affected it.
<FONT ID="LN">102 </FONT><A NAME="102"></A>     */</FONT>
<FONT ID="LN">103 </FONT><A NAME="103"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT>[] locals;
<FONT ID="LN">104 </FONT><A NAME="104"></A>
<FONT ID="LN">105 </FONT><A NAME="105"></A>    <FONT ID="FormalComment">/** Has this block been visited? */</FONT>
<FONT ID="LN">106 </FONT><A NAME="106"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> visited;
<FONT ID="LN">107 </FONT><A NAME="107"></A>
<FONT ID="LN">108 </FONT><A NAME="108"></A>    <FONT ID="FormalComment">/** Is this block active? */</FONT>
<FONT ID="LN">109 </FONT><A NAME="109"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> active;
<FONT ID="LN">110 </FONT><A NAME="110"></A>
<FONT ID="LN">111 </FONT><A NAME="111"></A>    <FONT ID="FormalComment">/** Is this block a loop head? */</FONT>
<FONT ID="LN">112 </FONT><A NAME="112"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> isLoopHead;
<FONT ID="LN">113 </FONT><A NAME="113"></A>
<FONT ID="LN">114 </FONT><A NAME="114"></A>    <FONT ID="FormalComment">/** Is this block a loop tail? */</FONT>
<FONT ID="LN">115 </FONT><A NAME="115"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> isLoopTail;
<FONT ID="LN">116 </FONT><A NAME="116"></A>
<FONT ID="LN">117 </FONT><A NAME="117"></A>    <FONT ID="FormalComment">/** Index of a loop. */</FONT>
<FONT ID="LN">118 </FONT><A NAME="118"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> loopIndex;
<FONT ID="LN">119 </FONT><A NAME="119"></A>
<FONT ID="LN">120 </FONT><A NAME="120"></A>    <FONT ID="FormalComment">/** Depth of a loop. */</FONT>
<FONT ID="LN">121 </FONT><A NAME="121"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> loopDepth;
<FONT ID="LN">122 </FONT><A NAME="122"></A>
<FONT ID="LN">123 </FONT><A NAME="123"></A>    <FONT ID="FormalComment">/** Number of forward branches to this block. */</FONT>
<FONT ID="LN">124 </FONT><A NAME="124"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> fwdBranches;
<FONT ID="LN">125 </FONT><A NAME="125"></A>
<FONT ID="LN">126 </FONT><A NAME="126"></A>    <FONT ID="FormalComment">/** Number of backward branches to this block. */</FONT>
<FONT ID="LN">127 </FONT><A NAME="127"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> bwdBranches;
<FONT ID="LN">128 </FONT><A NAME="128"></A>
<FONT ID="LN">129 </FONT><A NAME="129"></A>    <FONT ID="FormalComment">/** Ref count of this block. */</FONT>
<FONT ID="LN">130 </FONT><A NAME="130"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> ref;
<FONT ID="LN">131 </FONT><A NAME="131"></A>
<FONT ID="LN">132 </FONT><A NAME="132"></A>    <FONT ID="FormalComment">/** The dominator of this block. */</FONT>
<FONT ID="LN">133 </FONT><A NAME="133"></A>    <FONT ID="Public">public</FONT> NBasicBlock dom;
<FONT ID="LN">134 </FONT><A NAME="134"></A>
<FONT ID="LN">135 </FONT><A NAME="135"></A>    <FONT ID="FormalComment">/** All virtual registers locally defined within this block. */</FONT>
<FONT ID="LN">136 </FONT><A NAME="136"></A>    <FONT ID="Public">public</FONT> BitSet liveDef;
<FONT ID="LN">137 </FONT><A NAME="137"></A>
<FONT ID="LN">138 </FONT><A NAME="138"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">139 </FONT><A NAME="139"></A>     * All virtual registers used before definition within this block.
<FONT ID="LN">140 </FONT><A NAME="140"></A>     */</FONT>
<FONT ID="LN">141 </FONT><A NAME="141"></A>    <FONT ID="Public">public</FONT> BitSet liveUse;
<FONT ID="LN">142 </FONT><A NAME="142"></A>
<FONT ID="LN">143 </FONT><A NAME="143"></A>    <FONT ID="FormalComment">/** All virtual registers live in the block. */</FONT>
<FONT ID="LN">144 </FONT><A NAME="144"></A>    <FONT ID="Public">public</FONT> BitSet liveIn;
<FONT ID="LN">145 </FONT><A NAME="145"></A>
<FONT ID="LN">146 </FONT><A NAME="146"></A>    <FONT ID="FormalComment">/** All virtual registers live outside the block. */</FONT>
<FONT ID="LN">147 </FONT><A NAME="147"></A>    <FONT ID="Public">public</FONT> BitSet liveOut;
<FONT ID="LN">148 </FONT><A NAME="148"></A>
<FONT ID="LN">149 </FONT><A NAME="149"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">150 </FONT><A NAME="150"></A>     * Construct a block given its unique identifier.
<FONT ID="LN">151 </FONT><A NAME="151"></A>     * 
<FONT ID="LN">152 </FONT><A NAME="152"></A>     * @param cfg
<FONT ID="LN">153 </FONT><A NAME="153"></A>     *            the cfg containing this block.
<FONT ID="LN">154 </FONT><A NAME="154"></A>     * @param id
<FONT ID="LN">155 </FONT><A NAME="155"></A>     *            id of the block.
<FONT ID="LN">156 </FONT><A NAME="156"></A>     */</FONT>
<FONT ID="LN">157 </FONT><A NAME="157"></A>
<FONT ID="LN">158 </FONT><A NAME="158"></A>    <FONT ID="Public">public</FONT> NBasicBlock(<A HREF="../jminusminus/NControlFlowGraph.java.html">NControlFlowGraph</A> cfg, <FONT ID="Int">int</FONT> id) {
<FONT ID="LN">159 </FONT><A NAME="159"></A>        <FONT ID="This">this</FONT>.cfg = cfg;
<FONT ID="LN">160 </FONT><A NAME="160"></A>        <FONT ID="This">this</FONT>.id = id;
<FONT ID="LN">161 </FONT><A NAME="161"></A>        <FONT ID="This">this</FONT>.tuples = <FONT ID="New">new</FONT> ArrayList&lt;NTuple&gt;();
<FONT ID="LN">162 </FONT><A NAME="162"></A>        <FONT ID="This">this</FONT>.predecessors = <FONT ID="New">new</FONT> ArrayList&lt;NBasicBlock&gt;();
<FONT ID="LN">163 </FONT><A NAME="163"></A>        <FONT ID="This">this</FONT>.successors = <FONT ID="New">new</FONT> ArrayList&lt;NBasicBlock&gt;();
<FONT ID="LN">164 </FONT><A NAME="164"></A>        <FONT ID="This">this</FONT>.hir = <FONT ID="New">new</FONT> ArrayList&lt;Integer&gt;();
<FONT ID="LN">165 </FONT><A NAME="165"></A>        <FONT ID="This">this</FONT>.lir = <FONT ID="New">new</FONT> ArrayList&lt;<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A>&gt;();
<FONT ID="LN">166 </FONT><A NAME="166"></A>        <FONT ID="This">this</FONT>.isLoopHead = <FONT ID="False">false</FONT>;
<FONT ID="LN">167 </FONT><A NAME="167"></A>    }
<FONT ID="LN">168 </FONT><A NAME="168"></A>
<FONT ID="LN">169 </FONT><A NAME="169"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">170 </FONT><A NAME="170"></A>     * Return a string identifier of this block.
<FONT ID="LN">171 </FONT><A NAME="171"></A>     * 
<FONT ID="LN">172 </FONT><A NAME="172"></A>     * @return string identifier of this block.
<FONT ID="LN">173 </FONT><A NAME="173"></A>     */</FONT>
<FONT ID="LN">174 </FONT><A NAME="174"></A>
<FONT ID="LN">175 </FONT><A NAME="175"></A>    <FONT ID="Public">public</FONT> String id() {
<FONT ID="LN">176 </FONT><A NAME="176"></A>        <FONT ID="Return">return</FONT> <FONT ID="StringLiteral">"B"</FONT> + id;
<FONT ID="LN">177 </FONT><A NAME="177"></A>    }
<FONT ID="LN">178 </FONT><A NAME="178"></A>
<FONT ID="LN">179 </FONT><A NAME="179"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">180 </FONT><A NAME="180"></A>     * Is this block the same as the other block? Two blocks are the same if
<FONT ID="LN">181 </FONT><A NAME="181"></A>     * their ids are the same.
<FONT ID="LN">182 </FONT><A NAME="182"></A>     * 
<FONT ID="LN">183 </FONT><A NAME="183"></A>     * @param other
<FONT ID="LN">184 </FONT><A NAME="184"></A>     *            the other block.
<FONT ID="LN">185 </FONT><A NAME="185"></A>     * @return true or false.
<FONT ID="LN">186 </FONT><A NAME="186"></A>     */</FONT>
<FONT ID="LN">187 </FONT><A NAME="187"></A>
<FONT ID="LN">188 </FONT><A NAME="188"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> equals(NBasicBlock other) {
<FONT ID="LN">189 </FONT><A NAME="189"></A>        <FONT ID="Return">return</FONT> <FONT ID="This">this</FONT>.id == other.id;
<FONT ID="LN">190 </FONT><A NAME="190"></A>    }
<FONT ID="LN">191 </FONT><A NAME="191"></A>
<FONT ID="LN">192 </FONT><A NAME="192"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">193 </FONT><A NAME="193"></A>     * Return a string representation of this block.
<FONT ID="LN">194 </FONT><A NAME="194"></A>     * 
<FONT ID="LN">195 </FONT><A NAME="195"></A>     * @return string representation of this block.
<FONT ID="LN">196 </FONT><A NAME="196"></A>     */</FONT>
<FONT ID="LN">197 </FONT><A NAME="197"></A>
<FONT ID="LN">198 </FONT><A NAME="198"></A>    <FONT ID="Public">public</FONT> String toString() {
<FONT ID="LN">199 </FONT><A NAME="199"></A>        <FONT ID="Return">return</FONT> <FONT ID="StringLiteral">"[B"</FONT> + id + <FONT ID="StringLiteral">"]"</FONT>;
<FONT ID="LN">200 </FONT><A NAME="200"></A>    }
<FONT ID="LN">201 </FONT><A NAME="201"></A>
<FONT ID="LN">202 </FONT><A NAME="202"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">203 </FONT><A NAME="203"></A>     * Write the tuples in this block to STDOUT.
<FONT ID="LN">204 </FONT><A NAME="204"></A>     * 
<FONT ID="LN">205 </FONT><A NAME="205"></A>     * @param p
<FONT ID="LN">206 </FONT><A NAME="206"></A>     *            for pretty printing with indentation.
<FONT ID="LN">207 </FONT><A NAME="207"></A>     */</FONT>
<FONT ID="LN">208 </FONT><A NAME="208"></A>
<FONT ID="LN">209 </FONT><A NAME="209"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeTuplesToStdOut(PrettyPrinter p) {
<FONT ID="LN">210 </FONT><A NAME="210"></A>        String s = id();
<FONT ID="LN">211 </FONT><A NAME="211"></A>        p.printf(<FONT ID="StringLiteral">"%s\n"</FONT>, s);
<FONT ID="LN">212 </FONT><A NAME="212"></A>        <FONT ID="For">for</FONT> (NTuple tuple : tuples) {
<FONT ID="LN">213 </FONT><A NAME="213"></A>            tuple.writeToStdOut(p);
<FONT ID="LN">214 </FONT><A NAME="214"></A>        }
<FONT ID="LN">215 </FONT><A NAME="215"></A>        p.printf(<FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">216 </FONT><A NAME="216"></A>    }
<FONT ID="LN">217 </FONT><A NAME="217"></A>
<FONT ID="LN">218 </FONT><A NAME="218"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">219 </FONT><A NAME="219"></A>     * Write the HIR instructions in this block to STDOUT.
<FONT ID="LN">220 </FONT><A NAME="220"></A>     * 
<FONT ID="LN">221 </FONT><A NAME="221"></A>     * @param p
<FONT ID="LN">222 </FONT><A NAME="222"></A>     *            for pretty printing with indentation.
<FONT ID="LN">223 </FONT><A NAME="223"></A>     */</FONT>
<FONT ID="LN">224 </FONT><A NAME="224"></A>
<FONT ID="LN">225 </FONT><A NAME="225"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeHirToStdOut(PrettyPrinter p) {
<FONT ID="LN">226 </FONT><A NAME="226"></A>        String s = id() + (isLoopHead ? <FONT ID="StringLiteral">" [LH]"</FONT> : <FONT ID="StringLiteral">""</FONT>)
<FONT ID="LN">227 </FONT><A NAME="227"></A>                + (isLoopTail ? <FONT ID="StringLiteral">" [LT]"</FONT> : <FONT ID="StringLiteral">""</FONT>);
<FONT ID="LN">228 </FONT><A NAME="228"></A>        <FONT ID="If">if</FONT> (tuples.size() &gt; <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">229 </FONT><A NAME="229"></A>            s += <FONT ID="StringLiteral">" ["</FONT> + tuples.get(<FONT ID="IntegerLiteral">0</FONT>).pc + <FONT ID="StringLiteral">", "</FONT>
<FONT ID="LN">230 </FONT><A NAME="230"></A>                    + tuples.get(tuples.size() - <FONT ID="IntegerLiteral">1</FONT>).pc + <FONT ID="StringLiteral">"]"</FONT>;
<FONT ID="LN">231 </FONT><A NAME="231"></A>        }
<FONT ID="LN">232 </FONT><A NAME="232"></A>        <FONT ID="If">if</FONT> (dom != <FONT ID="Null">null</FONT>) {
<FONT ID="LN">233 </FONT><A NAME="233"></A>            s += <FONT ID="StringLiteral">" dom: "</FONT> + dom.id();
<FONT ID="LN">234 </FONT><A NAME="234"></A>        }
<FONT ID="LN">235 </FONT><A NAME="235"></A>        <FONT ID="If">if</FONT> (predecessors.size() &gt; <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">236 </FONT><A NAME="236"></A>            s += <FONT ID="StringLiteral">" pred: "</FONT>;
<FONT ID="LN">237 </FONT><A NAME="237"></A>            <FONT ID="For">for</FONT> (NBasicBlock block : predecessors) {
<FONT ID="LN">238 </FONT><A NAME="238"></A>                s += block.id() + <FONT ID="StringLiteral">" "</FONT>;
<FONT ID="LN">239 </FONT><A NAME="239"></A>            }
<FONT ID="LN">240 </FONT><A NAME="240"></A>        }
<FONT ID="LN">241 </FONT><A NAME="241"></A>        <FONT ID="If">if</FONT> (successors.size() &gt; <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">242 </FONT><A NAME="242"></A>            s += <FONT ID="StringLiteral">" succ: "</FONT>;
<FONT ID="LN">243 </FONT><A NAME="243"></A>            <FONT ID="For">for</FONT> (NBasicBlock block : successors) {
<FONT ID="LN">244 </FONT><A NAME="244"></A>                s += block.id() + <FONT ID="StringLiteral">" "</FONT>;
<FONT ID="LN">245 </FONT><A NAME="245"></A>            }
<FONT ID="LN">246 </FONT><A NAME="246"></A>        }
<FONT ID="LN">247 </FONT><A NAME="247"></A>        p.printf(s + <FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">248 </FONT><A NAME="248"></A>        s = <FONT ID="StringLiteral">"Locals: "</FONT>;
<FONT ID="LN">249 </FONT><A NAME="249"></A>        <FONT ID="If">if</FONT> (locals != <FONT ID="Null">null</FONT>) {
<FONT ID="LN">250 </FONT><A NAME="250"></A>            <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; locals.length; i++) {
<FONT ID="LN">251 </FONT><A NAME="251"></A>                <FONT ID="If">if</FONT> (!(cfg.hirMap.get(locals[i]) <FONT ID="InstanceOf">instanceof</FONT> NHIRLocal)) {
<FONT ID="LN">252 </FONT><A NAME="252"></A>                    s += cfg.hirMap.get(locals[i]).id() + <FONT ID="StringLiteral">" "</FONT>;
<FONT ID="LN">253 </FONT><A NAME="253"></A>                }
<FONT ID="LN">254 </FONT><A NAME="254"></A>            }
<FONT ID="LN">255 </FONT><A NAME="255"></A>        }
<FONT ID="LN">256 </FONT><A NAME="256"></A>        p.printf(<FONT ID="StringLiteral">"%s\n"</FONT>, s);
<FONT ID="LN">257 </FONT><A NAME="257"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> ins : hir) {
<FONT ID="LN">258 </FONT><A NAME="258"></A>            <FONT ID="If">if</FONT> (cfg.hirMap.get(ins) <FONT ID="InstanceOf">instanceof</FONT> NHIRPhiFunction) {
<FONT ID="LN">259 </FONT><A NAME="259"></A>                p.printf(<FONT ID="StringLiteral">"%s: %s\n"</FONT>, ((NHIRPhiFunction) cfg.hirMap.get(ins))
<FONT ID="LN">260 </FONT><A NAME="260"></A>                        .id(), ((NHIRPhiFunction) cfg.hirMap.get(ins)));
<FONT ID="LN">261 </FONT><A NAME="261"></A>            }
<FONT ID="LN">262 </FONT><A NAME="262"></A>        }
<FONT ID="LN">263 </FONT><A NAME="263"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> ins : hir) {
<FONT ID="LN">264 </FONT><A NAME="264"></A>            <FONT ID="If">if</FONT> (!(cfg.hirMap.get(ins) <FONT ID="InstanceOf">instanceof</FONT> NHIRPhiFunction)) {
<FONT ID="LN">265 </FONT><A NAME="265"></A>                p.printf(<FONT ID="StringLiteral">"%s\n"</FONT>, cfg.hirMap.get(ins));
<FONT ID="LN">266 </FONT><A NAME="266"></A>            }
<FONT ID="LN">267 </FONT><A NAME="267"></A>        }
<FONT ID="LN">268 </FONT><A NAME="268"></A>        p.printf(<FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">269 </FONT><A NAME="269"></A>    }
<FONT ID="LN">270 </FONT><A NAME="270"></A>
<FONT ID="LN">271 </FONT><A NAME="271"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">272 </FONT><A NAME="272"></A>     * Write the LIR instructions in this block to STDOUT.
<FONT ID="LN">273 </FONT><A NAME="273"></A>     * 
<FONT ID="LN">274 </FONT><A NAME="274"></A>     * @param p
<FONT ID="LN">275 </FONT><A NAME="275"></A>     *            for pretty printing with indentation.
<FONT ID="LN">276 </FONT><A NAME="276"></A>     */</FONT>
<FONT ID="LN">277 </FONT><A NAME="277"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeLirToStdOut(PrettyPrinter p) {
<FONT ID="LN">278 </FONT><A NAME="278"></A>        p.printf(<FONT ID="StringLiteral">"%s\n"</FONT>, id());
<FONT ID="LN">279 </FONT><A NAME="279"></A>        <FONT ID="For">for</FONT> (<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> ins : lir) {
<FONT ID="LN">280 </FONT><A NAME="280"></A>            p.printf(<FONT ID="StringLiteral">"%s\n"</FONT>, ins);
<FONT ID="LN">281 </FONT><A NAME="281"></A>        }
<FONT ID="LN">282 </FONT><A NAME="282"></A>        p.printf(<FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">283 </FONT><A NAME="283"></A>    }
<FONT ID="LN">284 </FONT><A NAME="284"></A>
<FONT ID="LN">285 </FONT><A NAME="285"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">286 </FONT><A NAME="286"></A>     * The instruction identifier for the first LIR instruction.
<FONT ID="LN">287 </FONT><A NAME="287"></A>     * 
<FONT ID="LN">288 </FONT><A NAME="288"></A>     * @return the instruction identifier.
<FONT ID="LN">289 </FONT><A NAME="289"></A>     */</FONT>
<FONT ID="LN">290 </FONT><A NAME="290"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> getFirstLIRInstId() {
<FONT ID="LN">291 </FONT><A NAME="291"></A>        <FONT ID="If">if</FONT> (lir.isEmpty()) {
<FONT ID="LN">292 </FONT><A NAME="292"></A>            <FONT ID="Return">return</FONT> -<FONT ID="IntegerLiteral">1</FONT>;
<FONT ID="LN">293 </FONT><A NAME="293"></A>        }
<FONT ID="LN">294 </FONT><A NAME="294"></A>        <FONT ID="Return">return</FONT> lir.get(<FONT ID="IntegerLiteral">0</FONT>).id;
<FONT ID="LN">295 </FONT><A NAME="295"></A>    }
<FONT ID="LN">296 </FONT><A NAME="296"></A>
<FONT ID="LN">297 </FONT><A NAME="297"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">298 </FONT><A NAME="298"></A>     * The instruction identifier for the last LIR instruction.
<FONT ID="LN">299 </FONT><A NAME="299"></A>     * 
<FONT ID="LN">300 </FONT><A NAME="300"></A>     * @return the instruction identifier.
<FONT ID="LN">301 </FONT><A NAME="301"></A>     */</FONT>
<FONT ID="LN">302 </FONT><A NAME="302"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> getLastLIRInstId() {
<FONT ID="LN">303 </FONT><A NAME="303"></A>        <FONT ID="If">if</FONT> (lir.isEmpty()) {
<FONT ID="LN">304 </FONT><A NAME="304"></A>            <FONT ID="Return">return</FONT> -<FONT ID="IntegerLiteral">1</FONT>;
<FONT ID="LN">305 </FONT><A NAME="305"></A>        }
<FONT ID="LN">306 </FONT><A NAME="306"></A>        <FONT ID="Return">return</FONT> lir.get(lir.size() - <FONT ID="IntegerLiteral">1</FONT>).id;
<FONT ID="LN">307 </FONT><A NAME="307"></A>    }
<FONT ID="LN">308 </FONT><A NAME="308"></A>
<FONT ID="LN">309 </FONT><A NAME="309"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">310 </FONT><A NAME="310"></A>     * Iterates through the lir array of this block, returning an
<FONT ID="LN">311 </FONT><A NAME="311"></A>     * NLIRInstruction with the specified id.
<FONT ID="LN">312 </FONT><A NAME="312"></A>     * 
<FONT ID="LN">313 </FONT><A NAME="313"></A>     * @param id
<FONT ID="LN">314 </FONT><A NAME="314"></A>     *            the id to look for.
<FONT ID="LN">315 </FONT><A NAME="315"></A>     * 
<FONT ID="LN">316 </FONT><A NAME="316"></A>     * @return NLIRInstruction with the specified id, null if none matched.
<FONT ID="LN">317 </FONT><A NAME="317"></A>     */</FONT>
<FONT ID="LN">318 </FONT><A NAME="318"></A>    <FONT ID="Public">public</FONT> <A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> getInstruction(<FONT ID="Int">int</FONT> id) {
<FONT ID="LN">319 </FONT><A NAME="319"></A>        <FONT ID="For">for</FONT> (<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> i : <FONT ID="This">this</FONT>.lir) {
<FONT ID="LN">320 </FONT><A NAME="320"></A>            <FONT ID="If">if</FONT> (i.id == id) {
<FONT ID="LN">321 </FONT><A NAME="321"></A>                <FONT ID="Return">return</FONT> i;
<FONT ID="LN">322 </FONT><A NAME="322"></A>            }
<FONT ID="LN">323 </FONT><A NAME="323"></A>        }
<FONT ID="LN">324 </FONT><A NAME="324"></A>        <FONT ID="Return">return</FONT> <FONT ID="Null">null</FONT>;
<FONT ID="LN">325 </FONT><A NAME="325"></A>    }
<FONT ID="LN">326 </FONT><A NAME="326"></A>
<FONT ID="LN">327 </FONT><A NAME="327"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">328 </FONT><A NAME="328"></A>     * Checks to see if there is an LIRInstruction with this id in the block's
<FONT ID="LN">329 </FONT><A NAME="329"></A>     * lir.
<FONT ID="LN">330 </FONT><A NAME="330"></A>     * 
<FONT ID="LN">331 </FONT><A NAME="331"></A>     * @return true or false.
<FONT ID="LN">332 </FONT><A NAME="332"></A>     */</FONT>
<FONT ID="LN">333 </FONT><A NAME="333"></A>    <FONT ID="Public">public</FONT> <FONT ID="Boolean">boolean</FONT> idIsFree(<FONT ID="Int">int</FONT> id) {
<FONT ID="LN">334 </FONT><A NAME="334"></A>        <FONT ID="If">if</FONT> (<FONT ID="This">this</FONT>.getInstruction(id) != <FONT ID="Null">null</FONT>) {
<FONT ID="LN">335 </FONT><A NAME="335"></A>            <FONT ID="Return">return</FONT> <FONT ID="False">false</FONT>;
<FONT ID="LN">336 </FONT><A NAME="336"></A>        } <FONT ID="Else">else</FONT> {
<FONT ID="LN">337 </FONT><A NAME="337"></A>            <FONT ID="Return">return</FONT> <FONT ID="True">true</FONT>;
<FONT ID="LN">338 </FONT><A NAME="338"></A>        }
<FONT ID="LN">339 </FONT><A NAME="339"></A>    }
<FONT ID="LN">340 </FONT><A NAME="340"></A>
<FONT ID="LN">341 </FONT><A NAME="341"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">342 </FONT><A NAME="342"></A>     * Inserts an NLIRInstruction to the appropriate place in this block's lir
<FONT ID="LN">343 </FONT><A NAME="343"></A>     * array based on its id -- preserving order by id.
<FONT ID="LN">344 </FONT><A NAME="344"></A>     * 
<FONT ID="LN">345 </FONT><A NAME="345"></A>     * @param inst
<FONT ID="LN">346 </FONT><A NAME="346"></A>     *            the NLIRInstruction to be inserted.
<FONT ID="LN">347 </FONT><A NAME="347"></A>     */</FONT>
<FONT ID="LN">348 </FONT><A NAME="348"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> insertLIRInst(<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> inst) {
<FONT ID="LN">349 </FONT><A NAME="349"></A>        <FONT ID="Int">int</FONT> idx = -<FONT ID="IntegerLiteral">1</FONT>;
<FONT ID="LN">350 </FONT><A NAME="350"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; <FONT ID="This">this</FONT>.lir.size(); i++) {
<FONT ID="LN">351 </FONT><A NAME="351"></A>            <FONT ID="If">if</FONT> (<FONT ID="This">this</FONT>.lir.get(i).id &lt; inst.id) {
<FONT ID="LN">352 </FONT><A NAME="352"></A>                idx = i;
<FONT ID="LN">353 </FONT><A NAME="353"></A>            }
<FONT ID="LN">354 </FONT><A NAME="354"></A>        }
<FONT ID="LN">355 </FONT><A NAME="355"></A>        <FONT ID="If">if</FONT> (++idx == <FONT ID="This">this</FONT>.lir.size()) {
<FONT ID="LN">356 </FONT><A NAME="356"></A>            <FONT ID="This">this</FONT>.lir.add(inst);
<FONT ID="LN">357 </FONT><A NAME="357"></A>        } <FONT ID="Else">else</FONT> {
<FONT ID="LN">358 </FONT><A NAME="358"></A>            <FONT ID="This">this</FONT>.lir.add(idx, inst);
<FONT ID="LN">359 </FONT><A NAME="359"></A>        }
<FONT ID="LN">360 </FONT><A NAME="360"></A>    }
<FONT ID="LN">361 </FONT><A NAME="361"></A>
<FONT ID="LN">362 </FONT><A NAME="362"></A>}
<FONT ID="LN">363 </FONT><A NAME="363"></A>
<FONT ID="LN">364 </FONT><A NAME="364"></A><FONT ID="FormalComment">/**
<FONT ID="LN">365 </FONT><A NAME="365"></A> * Representation of a control flow graph (cfg) for a method.
<FONT ID="LN">366 </FONT><A NAME="366"></A> */</FONT>
<FONT ID="LN">367 </FONT><A NAME="367"></A>
<FONT ID="LN">368 </FONT><A NAME="368"></A><FONT ID="Class">class</FONT> NControlFlowGraph {
<FONT ID="LN">369 </FONT><A NAME="369"></A>
<FONT ID="LN">370 </FONT><A NAME="370"></A>    <FONT ID="FormalComment">/** Constant pool for the class containing the method. */</FONT>
<FONT ID="LN">371 </FONT><A NAME="371"></A>    <FONT ID="Private">private</FONT> <A HREF="../jminusminus/CLConstantPool.java.html">CLConstantPool</A> cp;
<FONT ID="LN">372 </FONT><A NAME="372"></A>
<FONT ID="LN">373 </FONT><A NAME="373"></A>    <FONT ID="FormalComment">/** Contains information about the method. */</FONT>
<FONT ID="LN">374 </FONT><A NAME="374"></A>    <FONT ID="Private">private</FONT> CLMethodInfo m;
<FONT ID="LN">375 </FONT><A NAME="375"></A>
<FONT ID="LN">376 </FONT><A NAME="376"></A>    <FONT ID="FormalComment">/** Maps the pc of a JVM instruction to the block it's in. */</FONT>
<FONT ID="LN">377 </FONT><A NAME="377"></A>    <FONT ID="Private">private</FONT> HashMap&lt;Integer, NBasicBlock&gt; pcToBasicBlock;
<FONT ID="LN">378 </FONT><A NAME="378"></A>
<FONT ID="LN">379 </FONT><A NAME="379"></A>    <FONT ID="FormalComment">/** block identifier. */</FONT>
<FONT ID="LN">380 </FONT><A NAME="380"></A>    <FONT ID="Public">public</FONT> <FONT ID="Static">static</FONT> <FONT ID="Int">int</FONT> blockId;
<FONT ID="LN">381 </FONT><A NAME="381"></A>
<FONT ID="LN">382 </FONT><A NAME="382"></A>    <FONT ID="FormalComment">/** HIR instruction identifier. */</FONT>
<FONT ID="LN">383 </FONT><A NAME="383"></A>    <FONT ID="Public">public</FONT> <FONT ID="Static">static</FONT> <FONT ID="Int">int</FONT> hirId;
<FONT ID="LN">384 </FONT><A NAME="384"></A>
<FONT ID="LN">385 </FONT><A NAME="385"></A>    <FONT ID="FormalComment">/** HIR instruction identifier. */</FONT>
<FONT ID="LN">386 </FONT><A NAME="386"></A>    <FONT ID="Public">public</FONT> <FONT ID="Static">static</FONT> <FONT ID="Int">int</FONT> lirId;
<FONT ID="LN">387 </FONT><A NAME="387"></A>
<FONT ID="LN">388 </FONT><A NAME="388"></A>    <FONT ID="FormalComment">/** Virtual register identifier. */</FONT>
<FONT ID="LN">389 </FONT><A NAME="389"></A>    <FONT ID="Public">public</FONT> <FONT ID="Static">static</FONT> <FONT ID="Int">int</FONT> regId;
<FONT ID="LN">390 </FONT><A NAME="390"></A>
<FONT ID="LN">391 </FONT><A NAME="391"></A>    <FONT ID="FormalComment">/** Stack offset counter.. */</FONT>
<FONT ID="LN">392 </FONT><A NAME="392"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> offset;
<FONT ID="LN">393 </FONT><A NAME="393"></A>
<FONT ID="LN">394 </FONT><A NAME="394"></A>    <FONT ID="FormalComment">/** Loop identifier. */</FONT>
<FONT ID="LN">395 </FONT><A NAME="395"></A>    <FONT ID="Public">public</FONT> <FONT ID="Static">static</FONT> <FONT ID="Int">int</FONT> loopIndex;
<FONT ID="LN">396 </FONT><A NAME="396"></A>
<FONT ID="LN">397 </FONT><A NAME="397"></A>    <FONT ID="FormalComment">/** Name of the method this cfg corresponds to. */</FONT>
<FONT ID="LN">398 </FONT><A NAME="398"></A>    <FONT ID="Public">public</FONT> String name;
<FONT ID="LN">399 </FONT><A NAME="399"></A>
<FONT ID="LN">400 </FONT><A NAME="400"></A>    <FONT ID="FormalComment">/** Descriptor of the method this cfg corresponds to. */</FONT>
<FONT ID="LN">401 </FONT><A NAME="401"></A>    <FONT ID="Public">public</FONT> String desc;
<FONT ID="LN">402 </FONT><A NAME="402"></A>
<FONT ID="LN">403 </FONT><A NAME="403"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">404 </FONT><A NAME="404"></A>     * List of blocks forming the cfg for the method.
<FONT ID="LN">405 </FONT><A NAME="405"></A>     */</FONT>
<FONT ID="LN">406 </FONT><A NAME="406"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;NBasicBlock&gt; basicBlocks;
<FONT ID="LN">407 </FONT><A NAME="407"></A>
<FONT ID="LN">408 </FONT><A NAME="408"></A>    <FONT ID="FormalComment">/** Maps HIR instruction ids in this cfg to HIR instructions. */</FONT>
<FONT ID="LN">409 </FONT><A NAME="409"></A>    <FONT ID="Public">public</FONT> TreeMap&lt;Integer, <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A>&gt; hirMap;
<FONT ID="LN">410 </FONT><A NAME="410"></A>
<FONT ID="LN">411 </FONT><A NAME="411"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">412 </FONT><A NAME="412"></A>     * Registers allocated for this cfg by the HIR to LIR conversion algorithm.
<FONT ID="LN">413 </FONT><A NAME="413"></A>     */</FONT>
<FONT ID="LN">414 </FONT><A NAME="414"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;<A HREF="../jminusminus/NRegister.java.html">NRegister</A>&gt; registers;
<FONT ID="LN">415 </FONT><A NAME="415"></A>
<FONT ID="LN">416 </FONT><A NAME="416"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">417 </FONT><A NAME="417"></A>     * The total number of intervals. This is used to name split children and
<FONT ID="LN">418 </FONT><A NAME="418"></A>     * grows as more intervals are created by spills.
<FONT ID="LN">419 </FONT><A NAME="419"></A>     */</FONT>
<FONT ID="LN">420 </FONT><A NAME="420"></A>    <FONT ID="Public">public</FONT> <FONT ID="Int">int</FONT> maxIntervals;
<FONT ID="LN">421 </FONT><A NAME="421"></A>
<FONT ID="LN">422 </FONT><A NAME="422"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">423 </FONT><A NAME="423"></A>     * Physical registers allocated for this cfg by the HIR to LIR conversion
<FONT ID="LN">424 </FONT><A NAME="424"></A>     * algorithm.
<FONT ID="LN">425 </FONT><A NAME="425"></A>     */</FONT>
<FONT ID="LN">426 </FONT><A NAME="426"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;NPhysicalRegister&gt; pRegisters;
<FONT ID="LN">427 </FONT><A NAME="427"></A>
<FONT ID="LN">428 </FONT><A NAME="428"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">429 </FONT><A NAME="429"></A>     * Intervals allocated by the register allocation algorithm.
<FONT ID="LN">430 </FONT><A NAME="430"></A>     */</FONT>
<FONT ID="LN">431 </FONT><A NAME="431"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;<A HREF="../jminusminus/NInterval.java.html">NInterval</A>&gt; intervals;
<FONT ID="LN">432 </FONT><A NAME="432"></A>
<FONT ID="LN">433 </FONT><A NAME="433"></A>    <FONT ID="FormalComment">/** Used to construct jump labels in spim output. */</FONT>
<FONT ID="LN">434 </FONT><A NAME="434"></A>    <FONT ID="Public">public</FONT> String labelPrefix;
<FONT ID="LN">435 </FONT><A NAME="435"></A>
<FONT ID="LN">436 </FONT><A NAME="436"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">437 </FONT><A NAME="437"></A>     * SPIM code for string literals added to the data segment.
<FONT ID="LN">438 </FONT><A NAME="438"></A>     */</FONT>
<FONT ID="LN">439 </FONT><A NAME="439"></A>    <FONT ID="Public">public</FONT> ArrayList&lt;String&gt; data;
<FONT ID="LN">440 </FONT><A NAME="440"></A>
<FONT ID="LN">441 </FONT><A NAME="441"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">442 </FONT><A NAME="442"></A>     * Construct an NControlFlowGraph object for a method given the constant
<FONT ID="LN">443 </FONT><A NAME="443"></A>     * pool for the class containing the method and the object containing
<FONT ID="LN">444 </FONT><A NAME="444"></A>     * information about the method.
<FONT ID="LN">445 </FONT><A NAME="445"></A>     * 
<FONT ID="LN">446 </FONT><A NAME="446"></A>     * @param cp
<FONT ID="LN">447 </FONT><A NAME="447"></A>     *            constant pool for the class containing the method.
<FONT ID="LN">448 </FONT><A NAME="448"></A>     * @param m
<FONT ID="LN">449 </FONT><A NAME="449"></A>     *            contains information about the method.
<FONT ID="LN">450 </FONT><A NAME="450"></A>     */</FONT>
<FONT ID="LN">451 </FONT><A NAME="451"></A>
<FONT ID="LN">452 </FONT><A NAME="452"></A>    <FONT ID="Public">public</FONT> NControlFlowGraph(<A HREF="../jminusminus/CLConstantPool.java.html">CLConstantPool</A> cp, CLMethodInfo m) {
<FONT ID="LN">453 </FONT><A NAME="453"></A>        <FONT ID="This">this</FONT>.cp = cp;
<FONT ID="LN">454 </FONT><A NAME="454"></A>        <FONT ID="This">this</FONT>.m = m;
<FONT ID="LN">455 </FONT><A NAME="455"></A>        name = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp.cpItem(m.nameIndex)).b);
<FONT ID="LN">456 </FONT><A NAME="456"></A>        desc = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp.cpItem(m.descriptorIndex)).b);
<FONT ID="LN">457 </FONT><A NAME="457"></A>        basicBlocks = <FONT ID="New">new</FONT> ArrayList&lt;NBasicBlock&gt;();
<FONT ID="LN">458 </FONT><A NAME="458"></A>        pcToBasicBlock = <FONT ID="New">new</FONT> HashMap&lt;Integer, NBasicBlock&gt;();
<FONT ID="LN">459 </FONT><A NAME="459"></A>        ArrayList&lt;Integer&gt; code = getByteCode();
<FONT ID="LN">460 </FONT><A NAME="460"></A>        ArrayList&lt;NTuple&gt; tuples = bytecodeToTuples(code);
<FONT ID="LN">461 </FONT><A NAME="461"></A>        <FONT ID="If">if</FONT> (tuples.size() == <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">462 </FONT><A NAME="462"></A>            <FONT ID="Return">return</FONT>;
<FONT ID="LN">463 </FONT><A NAME="463"></A>        }
<FONT ID="LN">464 </FONT><A NAME="464"></A>        NTuple[] tupleAt = <FONT ID="New">new</FONT> NTuple[code.size()];
<FONT ID="LN">465 </FONT><A NAME="465"></A>        <FONT ID="For">for</FONT> (NTuple tuple : tuples) {
<FONT ID="LN">466 </FONT><A NAME="466"></A>            tupleAt[tuple.pc] = tuple;
<FONT ID="LN">467 </FONT><A NAME="467"></A>        }
<FONT ID="LN">468 </FONT><A NAME="468"></A>
<FONT ID="LN">469 </FONT><A NAME="469"></A>        <FONT ID="SingleLineComment">// Identify the leaders.
<FONT ID="LN">470 </FONT><A NAME="470"></A></FONT>        tuples.get(<FONT ID="IntegerLiteral">0</FONT>).isLeader = <FONT ID="True">true</FONT>;
<FONT ID="LN">471 </FONT><A NAME="471"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> j = <FONT ID="IntegerLiteral">1</FONT>; j &lt; tuples.size(); j++) {
<FONT ID="LN">472 </FONT><A NAME="472"></A>            NTuple tuple = tuples.get(j);
<FONT ID="LN">473 </FONT><A NAME="473"></A>            <FONT ID="Boolean">boolean</FONT> jumpInstruction = <FONT ID="True">true</FONT>;
<FONT ID="LN">474 </FONT><A NAME="474"></A>            <FONT ID="Short">short</FONT> operandByte1, operandByte2, operandByte3, operandByte4;
<FONT ID="LN">475 </FONT><A NAME="475"></A>            <FONT ID="Int">int</FONT> offset;
<FONT ID="LN">476 </FONT><A NAME="476"></A>            <FONT ID="Switch">switch</FONT> (tuple.opcode) {
<FONT ID="LN">477 </FONT><A NAME="477"></A>            <FONT ID="Case">case</FONT> IFEQ:
<FONT ID="LN">478 </FONT><A NAME="478"></A>            <FONT ID="Case">case</FONT> IFNE:
<FONT ID="LN">479 </FONT><A NAME="479"></A>            <FONT ID="Case">case</FONT> IFLT:
<FONT ID="LN">480 </FONT><A NAME="480"></A>            <FONT ID="Case">case</FONT> IFGE:
<FONT ID="LN">481 </FONT><A NAME="481"></A>            <FONT ID="Case">case</FONT> IFGT:
<FONT ID="LN">482 </FONT><A NAME="482"></A>            <FONT ID="Case">case</FONT> IFLE:
<FONT ID="LN">483 </FONT><A NAME="483"></A>            <FONT ID="Case">case</FONT> IF_ICMPEQ:
<FONT ID="LN">484 </FONT><A NAME="484"></A>            <FONT ID="Case">case</FONT> IF_ICMPNE:
<FONT ID="LN">485 </FONT><A NAME="485"></A>            <FONT ID="Case">case</FONT> IF_ICMPLT:
<FONT ID="LN">486 </FONT><A NAME="486"></A>            <FONT ID="Case">case</FONT> IF_ICMPGE:
<FONT ID="LN">487 </FONT><A NAME="487"></A>            <FONT ID="Case">case</FONT> IF_ICMPGT:
<FONT ID="LN">488 </FONT><A NAME="488"></A>            <FONT ID="Case">case</FONT> IF_ICMPLE:
<FONT ID="LN">489 </FONT><A NAME="489"></A>            <FONT ID="Case">case</FONT> IF_ACMPEQ:
<FONT ID="LN">490 </FONT><A NAME="490"></A>            <FONT ID="Case">case</FONT> IF_ACMPNE:
<FONT ID="LN">491 </FONT><A NAME="491"></A>            <FONT ID="Case">case</FONT> GOTO:
<FONT ID="LN">492 </FONT><A NAME="492"></A>            <FONT ID="Case">case</FONT> JSR:
<FONT ID="LN">493 </FONT><A NAME="493"></A>            <FONT ID="Case">case</FONT> IFNULL:
<FONT ID="LN">494 </FONT><A NAME="494"></A>            <FONT ID="Case">case</FONT> IFNONNULL:
<FONT ID="LN">495 </FONT><A NAME="495"></A>                operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">496 </FONT><A NAME="496"></A>                operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">497 </FONT><A NAME="497"></A>                offset = shortValue(operandByte1, operandByte2);
<FONT ID="LN">498 </FONT><A NAME="498"></A>                tupleAt[tuple.pc + offset].isLeader = <FONT ID="True">true</FONT>;
<FONT ID="LN">499 </FONT><A NAME="499"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">500 </FONT><A NAME="500"></A>            <FONT ID="Case">case</FONT> GOTO_W:
<FONT ID="LN">501 </FONT><A NAME="501"></A>            <FONT ID="Case">case</FONT> JSR_W:
<FONT ID="LN">502 </FONT><A NAME="502"></A>                operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">503 </FONT><A NAME="503"></A>                operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">504 </FONT><A NAME="504"></A>                operandByte3 = tuple.operands.get(<FONT ID="IntegerLiteral">2</FONT>);
<FONT ID="LN">505 </FONT><A NAME="505"></A>                operandByte4 = tuple.operands.get(<FONT ID="IntegerLiteral">3</FONT>);
<FONT ID="LN">506 </FONT><A NAME="506"></A>                offset = intValue(operandByte1, operandByte2, operandByte3,
<FONT ID="LN">507 </FONT><A NAME="507"></A>                        operandByte4);
<FONT ID="LN">508 </FONT><A NAME="508"></A>                tupleAt[tuple.pc + offset].isLeader = <FONT ID="True">true</FONT>;
<FONT ID="LN">509 </FONT><A NAME="509"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">510 </FONT><A NAME="510"></A>            <FONT ID="Case">case</FONT> IRETURN:
<FONT ID="LN">511 </FONT><A NAME="511"></A>            <FONT ID="Case">case</FONT> LRETURN:
<FONT ID="LN">512 </FONT><A NAME="512"></A>            <FONT ID="Case">case</FONT> FRETURN:
<FONT ID="LN">513 </FONT><A NAME="513"></A>            <FONT ID="Case">case</FONT> DRETURN:
<FONT ID="LN">514 </FONT><A NAME="514"></A>            <FONT ID="Case">case</FONT> ARETURN:
<FONT ID="LN">515 </FONT><A NAME="515"></A>            <FONT ID="Case">case</FONT> RETURN:
<FONT ID="LN">516 </FONT><A NAME="516"></A>            <FONT ID="Case">case</FONT> RET:
<FONT ID="LN">517 </FONT><A NAME="517"></A>            <FONT ID="Case">case</FONT> ATHROW:
<FONT ID="LN">518 </FONT><A NAME="518"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">519 </FONT><A NAME="519"></A>            <FONT ID="Case">case</FONT> TABLESWITCH: <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">520 </FONT><A NAME="520"></A></FONT>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">521 </FONT><A NAME="521"></A>            <FONT ID="Case">case</FONT> LOOKUPSWITCH: <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">522 </FONT><A NAME="522"></A></FONT>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">523 </FONT><A NAME="523"></A>            <FONT ID="Default">default</FONT>:
<FONT ID="LN">524 </FONT><A NAME="524"></A>                jumpInstruction = <FONT ID="False">false</FONT>;
<FONT ID="LN">525 </FONT><A NAME="525"></A>            }
<FONT ID="LN">526 </FONT><A NAME="526"></A>            <FONT ID="If">if</FONT> (jumpInstruction) {
<FONT ID="LN">527 </FONT><A NAME="527"></A>                <FONT ID="If">if</FONT> (j &lt; tuples.size() - <FONT ID="IntegerLiteral">1</FONT>) {
<FONT ID="LN">528 </FONT><A NAME="528"></A>                    tuples.get(j + <FONT ID="IntegerLiteral">1</FONT>).isLeader = <FONT ID="True">true</FONT>;
<FONT ID="LN">529 </FONT><A NAME="529"></A>                }
<FONT ID="LN">530 </FONT><A NAME="530"></A>            }
<FONT ID="LN">531 </FONT><A NAME="531"></A>        }
<FONT ID="LN">532 </FONT><A NAME="532"></A>
<FONT ID="LN">533 </FONT><A NAME="533"></A>        <FONT ID="SingleLineComment">// Form blocks.
<FONT ID="LN">534 </FONT><A NAME="534"></A></FONT>        {
<FONT ID="LN">535 </FONT><A NAME="535"></A>            blockId = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">536 </FONT><A NAME="536"></A>            NBasicBlock block = <FONT ID="New">new</FONT> NBasicBlock(<FONT ID="This">this</FONT>, blockId++);
<FONT ID="LN">537 </FONT><A NAME="537"></A>            <FONT ID="For">for</FONT> (NTuple tuple : tuples) {
<FONT ID="LN">538 </FONT><A NAME="538"></A>                <FONT ID="If">if</FONT> (tuple.isLeader) {
<FONT ID="LN">539 </FONT><A NAME="539"></A>                    basicBlocks.add(block);
<FONT ID="LN">540 </FONT><A NAME="540"></A>                    block = <FONT ID="New">new</FONT> NBasicBlock(<FONT ID="This">this</FONT>, blockId++);
<FONT ID="LN">541 </FONT><A NAME="541"></A>                    <FONT ID="If">if</FONT> (!pcToBasicBlock.containsKey(tuple.pc)) {
<FONT ID="LN">542 </FONT><A NAME="542"></A>                        pcToBasicBlock.put(tuple.pc, block);
<FONT ID="LN">543 </FONT><A NAME="543"></A>                    }
<FONT ID="LN">544 </FONT><A NAME="544"></A>                }
<FONT ID="LN">545 </FONT><A NAME="545"></A>                block.tuples.add(tuple);
<FONT ID="LN">546 </FONT><A NAME="546"></A>            }
<FONT ID="LN">547 </FONT><A NAME="547"></A>            basicBlocks.add(block);
<FONT ID="LN">548 </FONT><A NAME="548"></A>        }
<FONT ID="LN">549 </FONT><A NAME="549"></A>
<FONT ID="LN">550 </FONT><A NAME="550"></A>        <FONT ID="SingleLineComment">// Connect up the blocks for this method, that is, build
<FONT ID="LN">551 </FONT><A NAME="551"></A></FONT>        <FONT ID="SingleLineComment">// its control flow graph.
<FONT ID="LN">552 </FONT><A NAME="552"></A></FONT>        basicBlocks.get(<FONT ID="IntegerLiteral">0</FONT>).successors.add(basicBlocks.get(<FONT ID="IntegerLiteral">1</FONT>));
<FONT ID="LN">553 </FONT><A NAME="553"></A>        basicBlocks.get(<FONT ID="IntegerLiteral">1</FONT>).predecessors.add(basicBlocks.get(<FONT ID="IntegerLiteral">0</FONT>));
<FONT ID="LN">554 </FONT><A NAME="554"></A>        NBasicBlock[] blockAt = <FONT ID="New">new</FONT> NBasicBlock[code.size()];
<FONT ID="LN">555 </FONT><A NAME="555"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">556 </FONT><A NAME="556"></A>            <FONT ID="If">if</FONT> (block.tuples.size() == <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">557 </FONT><A NAME="557"></A>                <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">558 </FONT><A NAME="558"></A>            }
<FONT ID="LN">559 </FONT><A NAME="559"></A>            blockAt[block.tuples.get(<FONT ID="IntegerLiteral">0</FONT>).pc] = block;
<FONT ID="LN">560 </FONT><A NAME="560"></A>        }
<FONT ID="LN">561 </FONT><A NAME="561"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> j = <FONT ID="IntegerLiteral">0</FONT>; j &lt; basicBlocks.size(); j++) {
<FONT ID="LN">562 </FONT><A NAME="562"></A>            NBasicBlock block = basicBlocks.get(j);
<FONT ID="LN">563 </FONT><A NAME="563"></A>            <FONT ID="If">if</FONT> (block.tuples.size() == <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">564 </FONT><A NAME="564"></A>                <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">565 </FONT><A NAME="565"></A>            }
<FONT ID="LN">566 </FONT><A NAME="566"></A>            NTuple tuple = block.tuples.get(block.tuples.size() - <FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">567 </FONT><A NAME="567"></A>            <FONT ID="Short">short</FONT> operandByte1, operandByte2, operandByte3, operandByte4;
<FONT ID="LN">568 </FONT><A NAME="568"></A>            <FONT ID="Int">int</FONT> offset;
<FONT ID="LN">569 </FONT><A NAME="569"></A>            NBasicBlock target;
<FONT ID="LN">570 </FONT><A NAME="570"></A>            <FONT ID="Switch">switch</FONT> (tuple.opcode) {
<FONT ID="LN">571 </FONT><A NAME="571"></A>            <FONT ID="Case">case</FONT> IFEQ:
<FONT ID="LN">572 </FONT><A NAME="572"></A>            <FONT ID="Case">case</FONT> IFNE:
<FONT ID="LN">573 </FONT><A NAME="573"></A>            <FONT ID="Case">case</FONT> IFLT:
<FONT ID="LN">574 </FONT><A NAME="574"></A>            <FONT ID="Case">case</FONT> IFGE:
<FONT ID="LN">575 </FONT><A NAME="575"></A>            <FONT ID="Case">case</FONT> IFGT:
<FONT ID="LN">576 </FONT><A NAME="576"></A>            <FONT ID="Case">case</FONT> IFLE:
<FONT ID="LN">577 </FONT><A NAME="577"></A>            <FONT ID="Case">case</FONT> IF_ICMPEQ:
<FONT ID="LN">578 </FONT><A NAME="578"></A>            <FONT ID="Case">case</FONT> IF_ICMPNE:
<FONT ID="LN">579 </FONT><A NAME="579"></A>            <FONT ID="Case">case</FONT> IF_ICMPLT:
<FONT ID="LN">580 </FONT><A NAME="580"></A>            <FONT ID="Case">case</FONT> IF_ICMPGE:
<FONT ID="LN">581 </FONT><A NAME="581"></A>            <FONT ID="Case">case</FONT> IF_ICMPGT:
<FONT ID="LN">582 </FONT><A NAME="582"></A>            <FONT ID="Case">case</FONT> IF_ICMPLE:
<FONT ID="LN">583 </FONT><A NAME="583"></A>            <FONT ID="Case">case</FONT> IF_ACMPEQ:
<FONT ID="LN">584 </FONT><A NAME="584"></A>            <FONT ID="Case">case</FONT> IF_ACMPNE:
<FONT ID="LN">585 </FONT><A NAME="585"></A>            <FONT ID="Case">case</FONT> IFNULL:
<FONT ID="LN">586 </FONT><A NAME="586"></A>            <FONT ID="Case">case</FONT> IFNONNULL:
<FONT ID="LN">587 </FONT><A NAME="587"></A>                operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">588 </FONT><A NAME="588"></A>                operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">589 </FONT><A NAME="589"></A>                offset = shortValue(operandByte1, operandByte2);
<FONT ID="LN">590 </FONT><A NAME="590"></A>                target = blockAt[tuple.pc + offset];
<FONT ID="LN">591 </FONT><A NAME="591"></A>                <FONT ID="If">if</FONT> (j &lt; basicBlocks.size() - <FONT ID="IntegerLiteral">1</FONT>) {
<FONT ID="LN">592 </FONT><A NAME="592"></A>                    block.successors.add(basicBlocks.get(j + <FONT ID="IntegerLiteral">1</FONT>));
<FONT ID="LN">593 </FONT><A NAME="593"></A>                    basicBlocks.get(j + <FONT ID="IntegerLiteral">1</FONT>).predecessors.add(block);
<FONT ID="LN">594 </FONT><A NAME="594"></A>                }
<FONT ID="LN">595 </FONT><A NAME="595"></A>                block.successors.add(target);
<FONT ID="LN">596 </FONT><A NAME="596"></A>                target.predecessors.add(block);
<FONT ID="LN">597 </FONT><A NAME="597"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">598 </FONT><A NAME="598"></A>            <FONT ID="Case">case</FONT> GOTO:
<FONT ID="LN">599 </FONT><A NAME="599"></A>            <FONT ID="Case">case</FONT> JSR:
<FONT ID="LN">600 </FONT><A NAME="600"></A>                operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">601 </FONT><A NAME="601"></A>                operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">602 </FONT><A NAME="602"></A>                offset = shortValue(operandByte1, operandByte2);
<FONT ID="LN">603 </FONT><A NAME="603"></A>                target = blockAt[tuple.pc + offset];
<FONT ID="LN">604 </FONT><A NAME="604"></A>                block.successors.add(target);
<FONT ID="LN">605 </FONT><A NAME="605"></A>                target.predecessors.add(block);
<FONT ID="LN">606 </FONT><A NAME="606"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">607 </FONT><A NAME="607"></A>            <FONT ID="Case">case</FONT> GOTO_W:
<FONT ID="LN">608 </FONT><A NAME="608"></A>            <FONT ID="Case">case</FONT> JSR_W:
<FONT ID="LN">609 </FONT><A NAME="609"></A>                operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">610 </FONT><A NAME="610"></A>                operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">611 </FONT><A NAME="611"></A>                operandByte3 = tuple.operands.get(<FONT ID="IntegerLiteral">2</FONT>);
<FONT ID="LN">612 </FONT><A NAME="612"></A>                operandByte4 = tuple.operands.get(<FONT ID="IntegerLiteral">3</FONT>);
<FONT ID="LN">613 </FONT><A NAME="613"></A>                offset = intValue(operandByte1, operandByte2, operandByte3,
<FONT ID="LN">614 </FONT><A NAME="614"></A>                        operandByte4);
<FONT ID="LN">615 </FONT><A NAME="615"></A>                target = blockAt[tuple.pc + offset];
<FONT ID="LN">616 </FONT><A NAME="616"></A>                block.successors.add(target);
<FONT ID="LN">617 </FONT><A NAME="617"></A>                target.predecessors.add(block);
<FONT ID="LN">618 </FONT><A NAME="618"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">619 </FONT><A NAME="619"></A>            <FONT ID="Case">case</FONT> IRETURN:
<FONT ID="LN">620 </FONT><A NAME="620"></A>            <FONT ID="Case">case</FONT> LRETURN:
<FONT ID="LN">621 </FONT><A NAME="621"></A>            <FONT ID="Case">case</FONT> FRETURN:
<FONT ID="LN">622 </FONT><A NAME="622"></A>            <FONT ID="Case">case</FONT> DRETURN:
<FONT ID="LN">623 </FONT><A NAME="623"></A>            <FONT ID="Case">case</FONT> ARETURN:
<FONT ID="LN">624 </FONT><A NAME="624"></A>            <FONT ID="Case">case</FONT> RETURN:
<FONT ID="LN">625 </FONT><A NAME="625"></A>            <FONT ID="Case">case</FONT> RET:
<FONT ID="LN">626 </FONT><A NAME="626"></A>            <FONT ID="Case">case</FONT> ATHROW:
<FONT ID="LN">627 </FONT><A NAME="627"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">628 </FONT><A NAME="628"></A>            <FONT ID="Case">case</FONT> TABLESWITCH: <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">629 </FONT><A NAME="629"></A></FONT>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">630 </FONT><A NAME="630"></A>            <FONT ID="Case">case</FONT> LOOKUPSWITCH: <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">631 </FONT><A NAME="631"></A></FONT>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">632 </FONT><A NAME="632"></A>            <FONT ID="Default">default</FONT>:
<FONT ID="LN">633 </FONT><A NAME="633"></A>                <FONT ID="If">if</FONT> (j &lt; basicBlocks.size() - <FONT ID="IntegerLiteral">1</FONT>) {
<FONT ID="LN">634 </FONT><A NAME="634"></A>                    block.successors.add(basicBlocks.get(j + <FONT ID="IntegerLiteral">1</FONT>));
<FONT ID="LN">635 </FONT><A NAME="635"></A>                    basicBlocks.get(j + <FONT ID="IntegerLiteral">1</FONT>).predecessors.add(block);
<FONT ID="LN">636 </FONT><A NAME="636"></A>                }
<FONT ID="LN">637 </FONT><A NAME="637"></A>            }
<FONT ID="LN">638 </FONT><A NAME="638"></A>        }
<FONT ID="LN">639 </FONT><A NAME="639"></A>
<FONT ID="LN">640 </FONT><A NAME="640"></A>        <FONT ID="SingleLineComment">// Calculate the ref count and number of forward branches
<FONT ID="LN">641 </FONT><A NAME="641"></A></FONT>        <FONT ID="SingleLineComment">// to each block in the this cfg.
<FONT ID="LN">642 </FONT><A NAME="642"></A></FONT>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">643 </FONT><A NAME="643"></A>            block.ref = block.predecessors.size();
<FONT ID="LN">644 </FONT><A NAME="644"></A>            block.fwdBranches = block.predecessors.size() - block.bwdBranches;
<FONT ID="LN">645 </FONT><A NAME="645"></A>        }
<FONT ID="LN">646 </FONT><A NAME="646"></A>    }
<FONT ID="LN">647 </FONT><A NAME="647"></A>
<FONT ID="LN">648 </FONT><A NAME="648"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">649 </FONT><A NAME="649"></A>     * Implements loop detection algorithm to figure out if the specified block
<FONT ID="LN">650 </FONT><A NAME="650"></A>     * is a loop head or a loop tail. Also calculates the number of backward
<FONT ID="LN">651 </FONT><A NAME="651"></A>     * branches to the block.
<FONT ID="LN">652 </FONT><A NAME="652"></A>     * 
<FONT ID="LN">653 </FONT><A NAME="653"></A>     * @param block
<FONT ID="LN">654 </FONT><A NAME="654"></A>     *            a block.
<FONT ID="LN">655 </FONT><A NAME="655"></A>     * @param pred
<FONT ID="LN">656 </FONT><A NAME="656"></A>     *            block's predecessor or null.
<FONT ID="LN">657 </FONT><A NAME="657"></A>     */</FONT>
<FONT ID="LN">658 </FONT><A NAME="658"></A>
<FONT ID="LN">659 </FONT><A NAME="659"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> detectLoops(NBasicBlock block, NBasicBlock pred) {
<FONT ID="LN">660 </FONT><A NAME="660"></A>        <FONT ID="If">if</FONT> (!block.visited) {
<FONT ID="LN">661 </FONT><A NAME="661"></A>            block.visited = <FONT ID="True">true</FONT>;
<FONT ID="LN">662 </FONT><A NAME="662"></A>            block.active = <FONT ID="True">true</FONT>;
<FONT ID="LN">663 </FONT><A NAME="663"></A>            <FONT ID="For">for</FONT> (NBasicBlock succ : block.successors) {
<FONT ID="LN">664 </FONT><A NAME="664"></A>                detectLoops(succ, block);
<FONT ID="LN">665 </FONT><A NAME="665"></A>            }
<FONT ID="LN">666 </FONT><A NAME="666"></A>            block.active = <FONT ID="False">false</FONT>;
<FONT ID="LN">667 </FONT><A NAME="667"></A>        } <FONT ID="Else">else</FONT> <FONT ID="If">if</FONT> (block.active) {
<FONT ID="LN">668 </FONT><A NAME="668"></A>            block.isLoopHead = <FONT ID="True">true</FONT>;
<FONT ID="LN">669 </FONT><A NAME="669"></A>            pred.isLoopTail = <FONT ID="True">true</FONT>;
<FONT ID="LN">670 </FONT><A NAME="670"></A>            block.bwdBranches++;
<FONT ID="LN">671 </FONT><A NAME="671"></A>            block.loopIndex = NControlFlowGraph.loopIndex++;
<FONT ID="LN">672 </FONT><A NAME="672"></A>        }
<FONT ID="LN">673 </FONT><A NAME="673"></A>    }
<FONT ID="LN">674 </FONT><A NAME="674"></A>
<FONT ID="LN">675 </FONT><A NAME="675"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">676 </FONT><A NAME="676"></A>     * Remove blocks that cannot be reached from the begin block (B0). Also
<FONT ID="LN">677 </FONT><A NAME="677"></A>     * removes these blocks from the predecessor lists.
<FONT ID="LN">678 </FONT><A NAME="678"></A>     */</FONT>
<FONT ID="LN">679 </FONT><A NAME="679"></A>
<FONT ID="LN">680 </FONT><A NAME="680"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> removeUnreachableBlocks() {
<FONT ID="LN">681 </FONT><A NAME="681"></A>        <FONT ID="SingleLineComment">// Create a list of blocks that cannot be reached.
<FONT ID="LN">682 </FONT><A NAME="682"></A></FONT>        ArrayList&lt;NBasicBlock&gt; toRemove = <FONT ID="New">new</FONT> ArrayList&lt;NBasicBlock&gt;();
<FONT ID="LN">683 </FONT><A NAME="683"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">684 </FONT><A NAME="684"></A>            <FONT ID="If">if</FONT> (!block.visited) {
<FONT ID="LN">685 </FONT><A NAME="685"></A>                toRemove.add(block);
<FONT ID="LN">686 </FONT><A NAME="686"></A>            }
<FONT ID="LN">687 </FONT><A NAME="687"></A>        }
<FONT ID="LN">688 </FONT><A NAME="688"></A>
<FONT ID="LN">689 </FONT><A NAME="689"></A>        <FONT ID="SingleLineComment">// From the predecessor list for each blocks, remove
<FONT ID="LN">690 </FONT><A NAME="690"></A></FONT>        <FONT ID="SingleLineComment">// the ones that are in toRemove list.
<FONT ID="LN">691 </FONT><A NAME="691"></A></FONT>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">692 </FONT><A NAME="692"></A>            <FONT ID="For">for</FONT> (NBasicBlock pred : toRemove) {
<FONT ID="LN">693 </FONT><A NAME="693"></A>                block.predecessors.remove(pred);
<FONT ID="LN">694 </FONT><A NAME="694"></A>            }
<FONT ID="LN">695 </FONT><A NAME="695"></A>        }
<FONT ID="LN">696 </FONT><A NAME="696"></A>
<FONT ID="LN">697 </FONT><A NAME="697"></A>        <FONT ID="SingleLineComment">// From the list of all blocks, remove the ones that
<FONT ID="LN">698 </FONT><A NAME="698"></A></FONT>        <FONT ID="SingleLineComment">// are in toRemove list.
<FONT ID="LN">699 </FONT><A NAME="699"></A></FONT>        <FONT ID="For">for</FONT> (NBasicBlock block : toRemove) {
<FONT ID="LN">700 </FONT><A NAME="700"></A>            basicBlocks.remove(block);
<FONT ID="LN">701 </FONT><A NAME="701"></A>        }
<FONT ID="LN">702 </FONT><A NAME="702"></A>    }
<FONT ID="LN">703 </FONT><A NAME="703"></A>
<FONT ID="LN">704 </FONT><A NAME="704"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">705 </FONT><A NAME="705"></A>     * Compute the dominator of each block in this cfg recursively given the
<FONT ID="LN">706 </FONT><A NAME="706"></A>     * starting block and its predecessor.
<FONT ID="LN">707 </FONT><A NAME="707"></A>     * 
<FONT ID="LN">708 </FONT><A NAME="708"></A>     * @param block
<FONT ID="LN">709 </FONT><A NAME="709"></A>     *            starting block.
<FONT ID="LN">710 </FONT><A NAME="710"></A>     * @param pred
<FONT ID="LN">711 </FONT><A NAME="711"></A>     *            block's predecessor.
<FONT ID="LN">712 </FONT><A NAME="712"></A>     */</FONT>
<FONT ID="LN">713 </FONT><A NAME="713"></A>
<FONT ID="LN">714 </FONT><A NAME="714"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> computeDominators(NBasicBlock block, NBasicBlock pred) {
<FONT ID="LN">715 </FONT><A NAME="715"></A>        <FONT ID="If">if</FONT> (block.ref &gt; <FONT ID="IntegerLiteral">0</FONT>) {
<FONT ID="LN">716 </FONT><A NAME="716"></A>            block.ref--;
<FONT ID="LN">717 </FONT><A NAME="717"></A>        }
<FONT ID="LN">718 </FONT><A NAME="718"></A>        <FONT ID="If">if</FONT> (block.dom == <FONT ID="Null">null</FONT>) {
<FONT ID="LN">719 </FONT><A NAME="719"></A>            block.dom = pred;
<FONT ID="LN">720 </FONT><A NAME="720"></A>        } <FONT ID="Else">else</FONT> {
<FONT ID="LN">721 </FONT><A NAME="721"></A>            block.dom = commonDom(block.dom, pred);
<FONT ID="LN">722 </FONT><A NAME="722"></A>        }
<FONT ID="LN">723 </FONT><A NAME="723"></A>        <FONT ID="If">if</FONT> (block.ref == block.bwdBranches) {
<FONT ID="LN">724 </FONT><A NAME="724"></A>            <FONT ID="For">for</FONT> (NBasicBlock s : block.successors) {
<FONT ID="LN">725 </FONT><A NAME="725"></A>                computeDominators(s, block);
<FONT ID="LN">726 </FONT><A NAME="726"></A>            }
<FONT ID="LN">727 </FONT><A NAME="727"></A>        }
<FONT ID="LN">728 </FONT><A NAME="728"></A>    }
<FONT ID="LN">729 </FONT><A NAME="729"></A>
<FONT ID="LN">730 </FONT><A NAME="730"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">731 </FONT><A NAME="731"></A>     * Convert tuples in each block to their high-level (HIR) representations.
<FONT ID="LN">732 </FONT><A NAME="732"></A>     */</FONT>
<FONT ID="LN">733 </FONT><A NAME="733"></A>
<FONT ID="LN">734 </FONT><A NAME="734"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> tuplesToHir() {
<FONT ID="LN">735 </FONT><A NAME="735"></A>        clearBlockVisitations();
<FONT ID="LN">736 </FONT><A NAME="736"></A>        hirId = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">737 </FONT><A NAME="737"></A>        loopIndex = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">738 </FONT><A NAME="738"></A>        hirMap = <FONT ID="New">new</FONT> TreeMap&lt;Integer, <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A>&gt;();
<FONT ID="LN">739 </FONT><A NAME="739"></A>        <FONT ID="Int">int</FONT> numLocals = numLocals();
<FONT ID="LN">740 </FONT><A NAME="740"></A>        <FONT ID="Int">int</FONT>[] locals = <FONT ID="New">new</FONT> <FONT ID="Int">int</FONT>[numLocals];
<FONT ID="LN">741 </FONT><A NAME="741"></A>        ArrayList&lt;String&gt; argTypes = argumentTypes(desc);
<FONT ID="LN">742 </FONT><A NAME="742"></A>        NBasicBlock beginBlock = basicBlocks.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">743 </FONT><A NAME="743"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; locals.length; i++) {
<FONT ID="LN">744 </FONT><A NAME="744"></A>            <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins = <FONT ID="Null">null</FONT>;
<FONT ID="LN">745 </FONT><A NAME="745"></A>            <FONT ID="If">if</FONT> (i &lt; argTypes.size()) {
<FONT ID="LN">746 </FONT><A NAME="746"></A>                String lType = argTypes.get(i);
<FONT ID="LN">747 </FONT><A NAME="747"></A>                ins = <FONT ID="New">new</FONT> NHIRLoadLocal(beginBlock, hirId++, i,
<FONT ID="LN">748 </FONT><A NAME="748"></A>                        shortType(lType), lType);
<FONT ID="LN">749 </FONT><A NAME="749"></A>                beginBlock.hir.add(ins.id);
<FONT ID="LN">750 </FONT><A NAME="750"></A>            } <FONT ID="Else">else</FONT> {
<FONT ID="LN">751 </FONT><A NAME="751"></A>                ins = <FONT ID="New">new</FONT> NHIRLocal(beginBlock, hirId++, i, <FONT ID="StringLiteral">""</FONT>, <FONT ID="StringLiteral">""</FONT>);
<FONT ID="LN">752 </FONT><A NAME="752"></A>            }
<FONT ID="LN">753 </FONT><A NAME="753"></A>            beginBlock.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">754 </FONT><A NAME="754"></A>            locals[i] = ins.id;
<FONT ID="LN">755 </FONT><A NAME="755"></A>        }
<FONT ID="LN">756 </FONT><A NAME="756"></A>        beginBlock.locals = locals;
<FONT ID="LN">757 </FONT><A NAME="757"></A>        Stack&lt;Integer&gt; operandStack = <FONT ID="New">new</FONT> Stack&lt;Integer&gt;();
<FONT ID="LN">758 </FONT><A NAME="758"></A>        Queue&lt;NBasicBlock&gt; q = <FONT ID="New">new</FONT> LinkedList&lt;NBasicBlock&gt;();
<FONT ID="LN">759 </FONT><A NAME="759"></A>        beginBlock.visited = <FONT ID="True">true</FONT>;
<FONT ID="LN">760 </FONT><A NAME="760"></A>        q.add(beginBlock);
<FONT ID="LN">761 </FONT><A NAME="761"></A>        <FONT ID="While">while</FONT> (!q.isEmpty()) {
<FONT ID="LN">762 </FONT><A NAME="762"></A>            NBasicBlock block = q.remove();
<FONT ID="LN">763 </FONT><A NAME="763"></A>            <FONT ID="For">for</FONT> (NBasicBlock succ : block.successors) {
<FONT ID="LN">764 </FONT><A NAME="764"></A>                <FONT ID="If">if</FONT> (!succ.visited) {
<FONT ID="LN">765 </FONT><A NAME="765"></A>                    succ.visited = <FONT ID="True">true</FONT>;
<FONT ID="LN">766 </FONT><A NAME="766"></A>                    q.add(succ);
<FONT ID="LN">767 </FONT><A NAME="767"></A>                }
<FONT ID="LN">768 </FONT><A NAME="768"></A>            }
<FONT ID="LN">769 </FONT><A NAME="769"></A>
<FONT ID="LN">770 </FONT><A NAME="770"></A>            <FONT ID="SingleLineComment">// Convert tuples in block to HIR instructions.
<FONT ID="LN">771 </FONT><A NAME="771"></A></FONT>            <FONT ID="If">if</FONT> (block.predecessors.size() == <FONT ID="IntegerLiteral">1</FONT>) {
<FONT ID="LN">772 </FONT><A NAME="772"></A>                block.locals = block.predecessors.get(<FONT ID="IntegerLiteral">0</FONT>).locals.clone();
<FONT ID="LN">773 </FONT><A NAME="773"></A>            } <FONT ID="Else">else</FONT> <FONT ID="If">if</FONT> (block.predecessors.size() &gt; <FONT ID="IntegerLiteral">1</FONT>) {
<FONT ID="LN">774 </FONT><A NAME="774"></A>                <FONT ID="If">if</FONT> (block.isLoopHead) {
<FONT ID="LN">775 </FONT><A NAME="775"></A>                    <FONT ID="For">for</FONT> (NBasicBlock pred : block.predecessors) {
<FONT ID="LN">776 </FONT><A NAME="776"></A>                        <FONT ID="If">if</FONT> (pred.locals != <FONT ID="Null">null</FONT>) {
<FONT ID="LN">777 </FONT><A NAME="777"></A>                            block.locals = pred.locals.clone();
<FONT ID="LN">778 </FONT><A NAME="778"></A>                            <FONT ID="Break">break</FONT>;
<FONT ID="LN">779 </FONT><A NAME="779"></A>                        }
<FONT ID="LN">780 </FONT><A NAME="780"></A>                    }
<FONT ID="LN">781 </FONT><A NAME="781"></A>                    <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; block.locals.length; i++) {
<FONT ID="LN">782 </FONT><A NAME="782"></A>                        ArrayList&lt;Integer&gt; args = <FONT ID="New">new</FONT> ArrayList&lt;Integer&gt;();
<FONT ID="LN">783 </FONT><A NAME="783"></A>                        NHIRPhiFunction phi = <FONT ID="New">new</FONT> NHIRPhiFunction(block,
<FONT ID="LN">784 </FONT><A NAME="784"></A>                                hirId++, args, i);
<FONT ID="LN">785 </FONT><A NAME="785"></A>                        block.hir.add(phi.id);
<FONT ID="LN">786 </FONT><A NAME="786"></A>                        block.cfg.hirMap.put(phi.id, phi);
<FONT ID="LN">787 </FONT><A NAME="787"></A>                        phi.arguments.add(block.locals[i]);
<FONT ID="LN">788 </FONT><A NAME="788"></A>                        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> j = <FONT ID="IntegerLiteral">1</FONT>; j &lt; block.predecessors.size(); j++) {
<FONT ID="LN">789 </FONT><A NAME="789"></A>                            phi.arguments.add(phi.id);
<FONT ID="LN">790 </FONT><A NAME="790"></A>                        }
<FONT ID="LN">791 </FONT><A NAME="791"></A>                        block.locals[i] = phi.id;
<FONT ID="LN">792 </FONT><A NAME="792"></A>                        phi.inferType();
<FONT ID="LN">793 </FONT><A NAME="793"></A>                    }
<FONT ID="LN">794 </FONT><A NAME="794"></A>                } <FONT ID="Else">else</FONT> {
<FONT ID="LN">795 </FONT><A NAME="795"></A>                    block.locals = block.predecessors.get(<FONT ID="IntegerLiteral">0</FONT>).locals.clone();
<FONT ID="LN">796 </FONT><A NAME="796"></A>                    <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">1</FONT>; i &lt; block.predecessors.size(); i++) {
<FONT ID="LN">797 </FONT><A NAME="797"></A>                        NBasicBlock pred = block.predecessors.get(i);
<FONT ID="LN">798 </FONT><A NAME="798"></A>                        mergeLocals(block, pred);
<FONT ID="LN">799 </FONT><A NAME="799"></A>                    }
<FONT ID="LN">800 </FONT><A NAME="800"></A>                }
<FONT ID="LN">801 </FONT><A NAME="801"></A>            }
<FONT ID="LN">802 </FONT><A NAME="802"></A>            <FONT ID="For">for</FONT> (NTuple tuple : block.tuples) {
<FONT ID="LN">803 </FONT><A NAME="803"></A>                CLInsInfo insInfo = CLInstruction.instructionInfo[tuple.opcode];
<FONT ID="LN">804 </FONT><A NAME="804"></A>                <FONT ID="Int">int</FONT> localVariableIndex = insInfo.localVariableIndex;
<FONT ID="LN">805 </FONT><A NAME="805"></A>                <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins = <FONT ID="Null">null</FONT>;
<FONT ID="LN">806 </FONT><A NAME="806"></A>                <FONT ID="Short">short</FONT> operandByte1 = <FONT ID="IntegerLiteral">0</FONT>, operandByte2 = <FONT ID="IntegerLiteral">0</FONT>, operandByte3 = <FONT ID="IntegerLiteral">0</FONT>, offset = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">807 </FONT><A NAME="807"></A>                <FONT ID="Int">int</FONT> operand1 = <FONT ID="IntegerLiteral">0</FONT>, operand2 = <FONT ID="IntegerLiteral">0</FONT>, operand3 = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">808 </FONT><A NAME="808"></A>                <FONT ID="Switch">switch</FONT> (insInfo.opcode) {
<FONT ID="LN">809 </FONT><A NAME="809"></A>                <FONT ID="Case">case</FONT> MULTIANEWARRAY: {
<FONT ID="LN">810 </FONT><A NAME="810"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">811 </FONT><A NAME="811"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">812 </FONT><A NAME="812"></A>                    operandByte3 = tuple.operands.get(<FONT ID="IntegerLiteral">2</FONT>);
<FONT ID="LN">813 </FONT><A NAME="813"></A>                    <FONT ID="Int">int</FONT> index = shortValue(operandByte1, operandByte2);
<FONT ID="LN">814 </FONT><A NAME="814"></A>                    <FONT ID="Int">int</FONT> classIndex = ((CLConstantClassInfo) cp.cpItem(index)).nameIndex;
<FONT ID="LN">815 </FONT><A NAME="815"></A>                    String type = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">816 </FONT><A NAME="816"></A>                            .cpItem(classIndex)).b);
<FONT ID="LN">817 </FONT><A NAME="817"></A>                    ins = <FONT ID="New">new</FONT> NHIRNewArray(block, hirId++, insInfo.opcode,
<FONT ID="LN">818 </FONT><A NAME="818"></A>                            (<FONT ID="Int">int</FONT>) operandByte3, shortType(type), type);
<FONT ID="LN">819 </FONT><A NAME="819"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">820 </FONT><A NAME="820"></A>                    block.hir.add(ins.id);
<FONT ID="LN">821 </FONT><A NAME="821"></A>                    operandStack.push(ins.id);
<FONT ID="LN">822 </FONT><A NAME="822"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">823 </FONT><A NAME="823"></A>                }
<FONT ID="LN">824 </FONT><A NAME="824"></A>                <FONT ID="Case">case</FONT> AALOAD: {
<FONT ID="LN">825 </FONT><A NAME="825"></A>                    operand2 = operandStack.pop();
<FONT ID="LN">826 </FONT><A NAME="826"></A>                    operand1 = operandStack.pop();
<FONT ID="LN">827 </FONT><A NAME="827"></A>
<FONT ID="LN">828 </FONT><A NAME="828"></A>                    <FONT ID="SingleLineComment">// Compute base address.
<FONT ID="LN">829 </FONT><A NAME="829"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins1 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">830 </FONT><A NAME="830"></A>                            <FONT ID="IntegerLiteral">12</FONT>);
<FONT ID="LN">831 </FONT><A NAME="831"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins2 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">832 </FONT><A NAME="832"></A>                            IADD, operand1, ins1.id);
<FONT ID="LN">833 </FONT><A NAME="833"></A>                    block.cfg.hirMap.put(ins1.id, ins1);
<FONT ID="LN">834 </FONT><A NAME="834"></A>                    block.hir.add(ins1.id);
<FONT ID="LN">835 </FONT><A NAME="835"></A>                    block.cfg.hirMap.put(ins2.id, ins2);
<FONT ID="LN">836 </FONT><A NAME="836"></A>                    block.hir.add(ins2.id);
<FONT ID="LN">837 </FONT><A NAME="837"></A>
<FONT ID="LN">838 </FONT><A NAME="838"></A>                    <FONT ID="SingleLineComment">// Compute index.
<FONT ID="LN">839 </FONT><A NAME="839"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins3 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">840 </FONT><A NAME="840"></A>                            <FONT ID="IntegerLiteral">4</FONT>);
<FONT ID="LN">841 </FONT><A NAME="841"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins4 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">842 </FONT><A NAME="842"></A>                            IMUL, operand2, ins3.id);
<FONT ID="LN">843 </FONT><A NAME="843"></A>                    block.cfg.hirMap.put(ins3.id, ins3);
<FONT ID="LN">844 </FONT><A NAME="844"></A>                    block.hir.add(ins3.id);
<FONT ID="LN">845 </FONT><A NAME="845"></A>                    block.cfg.hirMap.put(ins4.id, ins4);
<FONT ID="LN">846 </FONT><A NAME="846"></A>                    block.hir.add(ins4.id);
<FONT ID="LN">847 </FONT><A NAME="847"></A>
<FONT ID="LN">848 </FONT><A NAME="848"></A>                    ins = <FONT ID="New">new</FONT> NHIRALoad(block, hirId++, insInfo.opcode,
<FONT ID="LN">849 </FONT><A NAME="849"></A>                            ins2.id, ins4.id, <FONT ID="StringLiteral">"L"</FONT>, <FONT ID="StringLiteral">"L"</FONT>);
<FONT ID="LN">850 </FONT><A NAME="850"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">851 </FONT><A NAME="851"></A>                    block.hir.add(ins.id);
<FONT ID="LN">852 </FONT><A NAME="852"></A>                    operandStack.push(ins.id);
<FONT ID="LN">853 </FONT><A NAME="853"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">854 </FONT><A NAME="854"></A>                }
<FONT ID="LN">855 </FONT><A NAME="855"></A>                <FONT ID="Case">case</FONT> IALOAD: {
<FONT ID="LN">856 </FONT><A NAME="856"></A>                    operand2 = operandStack.pop();
<FONT ID="LN">857 </FONT><A NAME="857"></A>                    operand1 = operandStack.pop();
<FONT ID="LN">858 </FONT><A NAME="858"></A>
<FONT ID="LN">859 </FONT><A NAME="859"></A>                    <FONT ID="SingleLineComment">// Compute base address.
<FONT ID="LN">860 </FONT><A NAME="860"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins1 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">861 </FONT><A NAME="861"></A>                            <FONT ID="IntegerLiteral">12</FONT>);
<FONT ID="LN">862 </FONT><A NAME="862"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins2 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">863 </FONT><A NAME="863"></A>                            IADD, operand1, ins1.id);
<FONT ID="LN">864 </FONT><A NAME="864"></A>                    block.cfg.hirMap.put(ins1.id, ins1);
<FONT ID="LN">865 </FONT><A NAME="865"></A>                    block.hir.add(ins1.id);
<FONT ID="LN">866 </FONT><A NAME="866"></A>                    block.cfg.hirMap.put(ins2.id, ins2);
<FONT ID="LN">867 </FONT><A NAME="867"></A>                    block.hir.add(ins2.id);
<FONT ID="LN">868 </FONT><A NAME="868"></A>
<FONT ID="LN">869 </FONT><A NAME="869"></A>                    <FONT ID="SingleLineComment">// Compute index.
<FONT ID="LN">870 </FONT><A NAME="870"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins3 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">871 </FONT><A NAME="871"></A>                            <FONT ID="IntegerLiteral">4</FONT>);
<FONT ID="LN">872 </FONT><A NAME="872"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins4 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">873 </FONT><A NAME="873"></A>                            IMUL, operand2, ins3.id);
<FONT ID="LN">874 </FONT><A NAME="874"></A>                    block.cfg.hirMap.put(ins3.id, ins3);
<FONT ID="LN">875 </FONT><A NAME="875"></A>                    block.hir.add(ins3.id);
<FONT ID="LN">876 </FONT><A NAME="876"></A>                    block.cfg.hirMap.put(ins4.id, ins4);
<FONT ID="LN">877 </FONT><A NAME="877"></A>                    block.hir.add(ins4.id);
<FONT ID="LN">878 </FONT><A NAME="878"></A>
<FONT ID="LN">879 </FONT><A NAME="879"></A>                    ins = <FONT ID="New">new</FONT> NHIRALoad(block, hirId++, insInfo.opcode,
<FONT ID="LN">880 </FONT><A NAME="880"></A>                            ins2.id, ins4.id, <FONT ID="StringLiteral">"I"</FONT>, <FONT ID="StringLiteral">"I"</FONT>);
<FONT ID="LN">881 </FONT><A NAME="881"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">882 </FONT><A NAME="882"></A>                    block.hir.add(ins.id);
<FONT ID="LN">883 </FONT><A NAME="883"></A>                    operandStack.push(ins.id);
<FONT ID="LN">884 </FONT><A NAME="884"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">885 </FONT><A NAME="885"></A>                }
<FONT ID="LN">886 </FONT><A NAME="886"></A>                <FONT ID="Case">case</FONT> IASTORE: {
<FONT ID="LN">887 </FONT><A NAME="887"></A>                    operand3 = operandStack.pop();
<FONT ID="LN">888 </FONT><A NAME="888"></A>                    operand2 = operandStack.pop();
<FONT ID="LN">889 </FONT><A NAME="889"></A>                    operand1 = operandStack.pop();
<FONT ID="LN">890 </FONT><A NAME="890"></A>
<FONT ID="LN">891 </FONT><A NAME="891"></A>                    <FONT ID="SingleLineComment">// Compute base address.
<FONT ID="LN">892 </FONT><A NAME="892"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins1 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">893 </FONT><A NAME="893"></A>                            <FONT ID="IntegerLiteral">12</FONT>);
<FONT ID="LN">894 </FONT><A NAME="894"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins2 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">895 </FONT><A NAME="895"></A>                            IADD, operand1, ins1.id);
<FONT ID="LN">896 </FONT><A NAME="896"></A>                    block.cfg.hirMap.put(ins1.id, ins1);
<FONT ID="LN">897 </FONT><A NAME="897"></A>                    block.hir.add(ins1.id);
<FONT ID="LN">898 </FONT><A NAME="898"></A>                    block.cfg.hirMap.put(ins2.id, ins2);
<FONT ID="LN">899 </FONT><A NAME="899"></A>                    block.hir.add(ins2.id);
<FONT ID="LN">900 </FONT><A NAME="900"></A>
<FONT ID="LN">901 </FONT><A NAME="901"></A>                    <FONT ID="SingleLineComment">// Compute index.
<FONT ID="LN">902 </FONT><A NAME="902"></A></FONT>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins3 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">903 </FONT><A NAME="903"></A>                            <FONT ID="IntegerLiteral">4</FONT>);
<FONT ID="LN">904 </FONT><A NAME="904"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins4 = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++,
<FONT ID="LN">905 </FONT><A NAME="905"></A>                            IMUL, operand2, ins3.id);
<FONT ID="LN">906 </FONT><A NAME="906"></A>                    block.cfg.hirMap.put(ins3.id, ins3);
<FONT ID="LN">907 </FONT><A NAME="907"></A>                    block.hir.add(ins3.id);
<FONT ID="LN">908 </FONT><A NAME="908"></A>                    block.cfg.hirMap.put(ins4.id, ins4);
<FONT ID="LN">909 </FONT><A NAME="909"></A>                    block.hir.add(ins4.id);
<FONT ID="LN">910 </FONT><A NAME="910"></A>
<FONT ID="LN">911 </FONT><A NAME="911"></A>                    ins = <FONT ID="New">new</FONT> NHIRAStore(block, hirId++, insInfo.opcode,
<FONT ID="LN">912 </FONT><A NAME="912"></A>                            ins2.id, ins4.id, operand3, <FONT ID="StringLiteral">"I"</FONT>, <FONT ID="StringLiteral">"I"</FONT>);
<FONT ID="LN">913 </FONT><A NAME="913"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">914 </FONT><A NAME="914"></A>                    block.hir.add(ins.id);
<FONT ID="LN">915 </FONT><A NAME="915"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">916 </FONT><A NAME="916"></A>                }
<FONT ID="LN">917 </FONT><A NAME="917"></A>                <FONT ID="Case">case</FONT> ICONST_0:
<FONT ID="LN">918 </FONT><A NAME="918"></A>                <FONT ID="Case">case</FONT> ICONST_1:
<FONT ID="LN">919 </FONT><A NAME="919"></A>                <FONT ID="Case">case</FONT> ICONST_2:
<FONT ID="LN">920 </FONT><A NAME="920"></A>                <FONT ID="Case">case</FONT> ICONST_3:
<FONT ID="LN">921 </FONT><A NAME="921"></A>                <FONT ID="Case">case</FONT> ICONST_4:
<FONT ID="LN">922 </FONT><A NAME="922"></A>                <FONT ID="Case">case</FONT> ICONST_5: {
<FONT ID="LN">923 </FONT><A NAME="923"></A>                    ins = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++, tuple.opcode - <FONT ID="IntegerLiteral">3</FONT>);
<FONT ID="LN">924 </FONT><A NAME="924"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">925 </FONT><A NAME="925"></A>                    block.hir.add(ins.id);
<FONT ID="LN">926 </FONT><A NAME="926"></A>                    operandStack.push(ins.id);
<FONT ID="LN">927 </FONT><A NAME="927"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">928 </FONT><A NAME="928"></A>                }
<FONT ID="LN">929 </FONT><A NAME="929"></A>                <FONT ID="Case">case</FONT> ILOAD: {
<FONT ID="LN">930 </FONT><A NAME="930"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">931 </FONT><A NAME="931"></A>                    localVariableIndex = operandByte1;
<FONT ID="LN">932 </FONT><A NAME="932"></A>                    operandStack.push(block.locals[localVariableIndex]);
<FONT ID="LN">933 </FONT><A NAME="933"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">934 </FONT><A NAME="934"></A>                }
<FONT ID="LN">935 </FONT><A NAME="935"></A>                <FONT ID="Case">case</FONT> ILOAD_0:
<FONT ID="LN">936 </FONT><A NAME="936"></A>                <FONT ID="Case">case</FONT> ILOAD_1:
<FONT ID="LN">937 </FONT><A NAME="937"></A>                <FONT ID="Case">case</FONT> ILOAD_2:
<FONT ID="LN">938 </FONT><A NAME="938"></A>                <FONT ID="Case">case</FONT> ILOAD_3:
<FONT ID="LN">939 </FONT><A NAME="939"></A>                <FONT ID="Case">case</FONT> ALOAD_0:
<FONT ID="LN">940 </FONT><A NAME="940"></A>                <FONT ID="Case">case</FONT> ALOAD_1:
<FONT ID="LN">941 </FONT><A NAME="941"></A>                <FONT ID="Case">case</FONT> ALOAD_2:
<FONT ID="LN">942 </FONT><A NAME="942"></A>                <FONT ID="Case">case</FONT> ALOAD_3: {
<FONT ID="LN">943 </FONT><A NAME="943"></A>                    operandStack.push(block.locals[localVariableIndex]);
<FONT ID="LN">944 </FONT><A NAME="944"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">945 </FONT><A NAME="945"></A>                }
<FONT ID="LN">946 </FONT><A NAME="946"></A>                <FONT ID="Case">case</FONT> ISTORE: {
<FONT ID="LN">947 </FONT><A NAME="947"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">948 </FONT><A NAME="948"></A>                    localVariableIndex = operandByte1;
<FONT ID="LN">949 </FONT><A NAME="949"></A>                    block.locals[localVariableIndex] = operandStack.pop();
<FONT ID="LN">950 </FONT><A NAME="950"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">951 </FONT><A NAME="951"></A>                }
<FONT ID="LN">952 </FONT><A NAME="952"></A>                <FONT ID="Case">case</FONT> ISTORE_0:
<FONT ID="LN">953 </FONT><A NAME="953"></A>                <FONT ID="Case">case</FONT> ISTORE_1:
<FONT ID="LN">954 </FONT><A NAME="954"></A>                <FONT ID="Case">case</FONT> ISTORE_2:
<FONT ID="LN">955 </FONT><A NAME="955"></A>                <FONT ID="Case">case</FONT> ISTORE_3:
<FONT ID="LN">956 </FONT><A NAME="956"></A>                <FONT ID="Case">case</FONT> ASTORE_0:
<FONT ID="LN">957 </FONT><A NAME="957"></A>                <FONT ID="Case">case</FONT> ASTORE_1:
<FONT ID="LN">958 </FONT><A NAME="958"></A>                <FONT ID="Case">case</FONT> ASTORE_2:
<FONT ID="LN">959 </FONT><A NAME="959"></A>                <FONT ID="Case">case</FONT> ASTORE_3: {
<FONT ID="LN">960 </FONT><A NAME="960"></A>                    block.locals[localVariableIndex] = operandStack.pop();
<FONT ID="LN">961 </FONT><A NAME="961"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">962 </FONT><A NAME="962"></A>                }
<FONT ID="LN">963 </FONT><A NAME="963"></A>                <FONT ID="Case">case</FONT> BIPUSH: {
<FONT ID="LN">964 </FONT><A NAME="964"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">965 </FONT><A NAME="965"></A>                    ins = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++, operandByte1);
<FONT ID="LN">966 </FONT><A NAME="966"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">967 </FONT><A NAME="967"></A>                    block.hir.add(ins.id);
<FONT ID="LN">968 </FONT><A NAME="968"></A>                    operandStack.push(ins.id);
<FONT ID="LN">969 </FONT><A NAME="969"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">970 </FONT><A NAME="970"></A>                }
<FONT ID="LN">971 </FONT><A NAME="971"></A>                <FONT ID="Case">case</FONT> SIPUSH: {
<FONT ID="LN">972 </FONT><A NAME="972"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">973 </FONT><A NAME="973"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">974 </FONT><A NAME="974"></A>                    ins = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++, shortValue(
<FONT ID="LN">975 </FONT><A NAME="975"></A>                            operandByte1, operandByte2));
<FONT ID="LN">976 </FONT><A NAME="976"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">977 </FONT><A NAME="977"></A>                    block.hir.add(ins.id);
<FONT ID="LN">978 </FONT><A NAME="978"></A>                    operandStack.push(ins.id);
<FONT ID="LN">979 </FONT><A NAME="979"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">980 </FONT><A NAME="980"></A>                }
<FONT ID="LN">981 </FONT><A NAME="981"></A>                <FONT ID="Case">case</FONT> LDC: {
<FONT ID="LN">982 </FONT><A NAME="982"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">983 </FONT><A NAME="983"></A>
<FONT ID="LN">984 </FONT><A NAME="984"></A>                    <FONT ID="SingleLineComment">// Only allowing ldc of string constants for
<FONT ID="LN">985 </FONT><A NAME="985"></A></FONT>                    <FONT ID="SingleLineComment">// now.
<FONT ID="LN">986 </FONT><A NAME="986"></A></FONT>                    <FONT ID="Int">int</FONT> stringIndex = ((CLConstantStringInfo) cp
<FONT ID="LN">987 </FONT><A NAME="987"></A>                            .cpItem(operandByte1)).stringIndex;
<FONT ID="LN">988 </FONT><A NAME="988"></A>                    String s = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">989 </FONT><A NAME="989"></A>                            .cpItem(stringIndex)).b);
<FONT ID="LN">990 </FONT><A NAME="990"></A>                    ins = <FONT ID="New">new</FONT> NHIRStringConstant(block, hirId++, s);
<FONT ID="LN">991 </FONT><A NAME="991"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">992 </FONT><A NAME="992"></A>                    block.hir.add(ins.id);
<FONT ID="LN">993 </FONT><A NAME="993"></A>                    operandStack.push(ins.id);
<FONT ID="LN">994 </FONT><A NAME="994"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">995 </FONT><A NAME="995"></A>                }
<FONT ID="LN">996 </FONT><A NAME="996"></A>                <FONT ID="Case">case</FONT> IADD:
<FONT ID="LN">997 </FONT><A NAME="997"></A>                <FONT ID="Case">case</FONT> ISUB:
<FONT ID="LN">998 </FONT><A NAME="998"></A>                <FONT ID="Case">case</FONT> IMUL: {
<FONT ID="LN">999 </FONT><A NAME="999"></A>                    operand2 = operandStack.pop();
<FONT ID="LN">1000</FONT><A NAME="1000"></A>                    operand1 = operandStack.pop();
<FONT ID="LN">1001</FONT><A NAME="1001"></A>                    ins = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++, insInfo.opcode,
<FONT ID="LN">1002</FONT><A NAME="1002"></A>                            operand1, operand2);
<FONT ID="LN">1003</FONT><A NAME="1003"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1004</FONT><A NAME="1004"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1005</FONT><A NAME="1005"></A>                    operandStack.push(ins.id);
<FONT ID="LN">1006</FONT><A NAME="1006"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1007</FONT><A NAME="1007"></A>                }
<FONT ID="LN">1008</FONT><A NAME="1008"></A>                <FONT ID="Case">case</FONT> IINC: {
<FONT ID="LN">1009</FONT><A NAME="1009"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1010</FONT><A NAME="1010"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1011</FONT><A NAME="1011"></A>                    operand1 = block.locals[operandByte1];
<FONT ID="LN">1012</FONT><A NAME="1012"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins1 = <FONT ID="New">new</FONT> NHIRIntConstant(block, hirId++,
<FONT ID="LN">1013</FONT><A NAME="1013"></A>                            (<FONT ID="Byte">byte</FONT>) operandByte2);
<FONT ID="LN">1014</FONT><A NAME="1014"></A>                    ins = <FONT ID="New">new</FONT> NHIRArithmetic(block, hirId++, IADD, operand1,
<FONT ID="LN">1015</FONT><A NAME="1015"></A>                            ins1.id);
<FONT ID="LN">1016</FONT><A NAME="1016"></A>                    block.locals[operandByte1] = ins.id;
<FONT ID="LN">1017</FONT><A NAME="1017"></A>                    block.hir.add(ins1.id);
<FONT ID="LN">1018</FONT><A NAME="1018"></A>                    block.cfg.hirMap.put(ins1.id, ins1);
<FONT ID="LN">1019</FONT><A NAME="1019"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1020</FONT><A NAME="1020"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1021</FONT><A NAME="1021"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1022</FONT><A NAME="1022"></A>                }
<FONT ID="LN">1023</FONT><A NAME="1023"></A>                <FONT ID="Case">case</FONT> IF_ICMPNE:
<FONT ID="LN">1024</FONT><A NAME="1024"></A>                <FONT ID="Case">case</FONT> IF_ICMPGT:
<FONT ID="LN">1025</FONT><A NAME="1025"></A>                <FONT ID="Case">case</FONT> IF_ICMPLE: {
<FONT ID="LN">1026</FONT><A NAME="1026"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1027</FONT><A NAME="1027"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1028</FONT><A NAME="1028"></A>                    offset = shortValue(operandByte1, operandByte2);
<FONT ID="LN">1029</FONT><A NAME="1029"></A>                    <FONT ID="Int">int</FONT> rhs = operandStack.pop();
<FONT ID="LN">1030</FONT><A NAME="1030"></A>                    <FONT ID="Int">int</FONT> lhs = operandStack.pop();
<FONT ID="LN">1031</FONT><A NAME="1031"></A>                    NBasicBlock trueDestination = pcToBasicBlock.get(tuple.pc
<FONT ID="LN">1032</FONT><A NAME="1032"></A>                            + offset);
<FONT ID="LN">1033</FONT><A NAME="1033"></A>                    NBasicBlock falseDestination = pcToBasicBlock
<FONT ID="LN">1034</FONT><A NAME="1034"></A>                            .get(tuple.pc + <FONT ID="IntegerLiteral">3</FONT>);
<FONT ID="LN">1035</FONT><A NAME="1035"></A>                    ins = <FONT ID="New">new</FONT> NHIRConditionalJump(block, hirId++, lhs, rhs,
<FONT ID="LN">1036</FONT><A NAME="1036"></A>                            insInfo.opcode, trueDestination, falseDestination);
<FONT ID="LN">1037</FONT><A NAME="1037"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1038</FONT><A NAME="1038"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1039</FONT><A NAME="1039"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1040</FONT><A NAME="1040"></A>                }
<FONT ID="LN">1041</FONT><A NAME="1041"></A>                <FONT ID="Case">case</FONT> GOTO: {
<FONT ID="LN">1042</FONT><A NAME="1042"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1043</FONT><A NAME="1043"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1044</FONT><A NAME="1044"></A>                    offset = shortValue(operandByte1, operandByte2);
<FONT ID="LN">1045</FONT><A NAME="1045"></A>                    NBasicBlock destination = pcToBasicBlock.get(tuple.pc
<FONT ID="LN">1046</FONT><A NAME="1046"></A>                            + offset);
<FONT ID="LN">1047</FONT><A NAME="1047"></A>                    ins = <FONT ID="New">new</FONT> NHIRGoto(block, hirId++, destination);
<FONT ID="LN">1048</FONT><A NAME="1048"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1049</FONT><A NAME="1049"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1050</FONT><A NAME="1050"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1051</FONT><A NAME="1051"></A>                }
<FONT ID="LN">1052</FONT><A NAME="1052"></A>                <FONT ID="Case">case</FONT> GETSTATIC:
<FONT ID="LN">1053</FONT><A NAME="1053"></A>                <FONT ID="Case">case</FONT> PUTSTATIC: {
<FONT ID="LN">1054</FONT><A NAME="1054"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1055</FONT><A NAME="1055"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1056</FONT><A NAME="1056"></A>                    <FONT ID="Int">int</FONT> index = shortValue(operandByte1, operandByte2);
<FONT ID="LN">1057</FONT><A NAME="1057"></A>                    <FONT ID="Int">int</FONT> classIndex = ((CLConstantFieldRefInfo) cp.cpItem(index)).classIndex;
<FONT ID="LN">1058</FONT><A NAME="1058"></A>                    <FONT ID="Int">int</FONT> nameAndTypeIndex = ((CLConstantFieldRefInfo) cp
<FONT ID="LN">1059</FONT><A NAME="1059"></A>                            .cpItem(index)).nameAndTypeIndex;
<FONT ID="LN">1060</FONT><A NAME="1060"></A>                    <FONT ID="Int">int</FONT> nameIndex = ((CLConstantClassInfo) cp
<FONT ID="LN">1061</FONT><A NAME="1061"></A>                            .cpItem(classIndex)).nameIndex;
<FONT ID="LN">1062</FONT><A NAME="1062"></A>                    String target = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1063</FONT><A NAME="1063"></A>                            .cpItem(nameIndex)).b);
<FONT ID="LN">1064</FONT><A NAME="1064"></A>                    <FONT ID="Int">int</FONT> fieldNameIndex = ((CLConstantNameAndTypeInfo) cp
<FONT ID="LN">1065</FONT><A NAME="1065"></A>                            .cpItem(nameAndTypeIndex)).nameIndex;
<FONT ID="LN">1066</FONT><A NAME="1066"></A>                    <FONT ID="Int">int</FONT> fieldDescIndex = ((CLConstantNameAndTypeInfo) cp
<FONT ID="LN">1067</FONT><A NAME="1067"></A>                            .cpItem(nameAndTypeIndex)).descriptorIndex;
<FONT ID="LN">1068</FONT><A NAME="1068"></A>                    String name = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1069</FONT><A NAME="1069"></A>                            .cpItem(fieldNameIndex)).b);
<FONT ID="LN">1070</FONT><A NAME="1070"></A>                    String desc = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1071</FONT><A NAME="1071"></A>                            .cpItem(fieldDescIndex)).b);
<FONT ID="LN">1072</FONT><A NAME="1072"></A>                    <FONT ID="If">if</FONT> (insInfo.opcode == PUTSTATIC) {
<FONT ID="LN">1073</FONT><A NAME="1073"></A>                        ins = <FONT ID="New">new</FONT> NHIRPutField(block, hirId++, insInfo.opcode,
<FONT ID="LN">1074</FONT><A NAME="1074"></A>                                target, name, shortType(desc), desc,
<FONT ID="LN">1075</FONT><A NAME="1075"></A>                                operandStack.pop());
<FONT ID="LN">1076</FONT><A NAME="1076"></A>                    } <FONT ID="Else">else</FONT> {
<FONT ID="LN">1077</FONT><A NAME="1077"></A>                        ins = <FONT ID="New">new</FONT> NHIRGetField(block, hirId++, insInfo.opcode,
<FONT ID="LN">1078</FONT><A NAME="1078"></A>                                target, name, shortType(desc), desc);
<FONT ID="LN">1079</FONT><A NAME="1079"></A>                        operandStack.push(ins.id);
<FONT ID="LN">1080</FONT><A NAME="1080"></A>                    }
<FONT ID="LN">1081</FONT><A NAME="1081"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1082</FONT><A NAME="1082"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1083</FONT><A NAME="1083"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1084</FONT><A NAME="1084"></A>                }
<FONT ID="LN">1085</FONT><A NAME="1085"></A>                <FONT ID="Case">case</FONT> INVOKESPECIAL:
<FONT ID="LN">1086</FONT><A NAME="1086"></A>                <FONT ID="Case">case</FONT> INVOKESTATIC: {
<FONT ID="LN">1087</FONT><A NAME="1087"></A>                    operandByte1 = tuple.operands.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1088</FONT><A NAME="1088"></A>                    operandByte2 = tuple.operands.get(<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1089</FONT><A NAME="1089"></A>                    <FONT ID="Int">int</FONT> index = shortValue(operandByte1, operandByte2);
<FONT ID="LN">1090</FONT><A NAME="1090"></A>                    <FONT ID="Int">int</FONT> classIndex = ((CLConstantMethodRefInfo) cp
<FONT ID="LN">1091</FONT><A NAME="1091"></A>                            .cpItem(index)).classIndex;
<FONT ID="LN">1092</FONT><A NAME="1092"></A>                    <FONT ID="Int">int</FONT> nameAndTypeIndex = ((CLConstantMethodRefInfo) cp
<FONT ID="LN">1093</FONT><A NAME="1093"></A>                            .cpItem(index)).nameAndTypeIndex;
<FONT ID="LN">1094</FONT><A NAME="1094"></A>                    <FONT ID="Int">int</FONT> nameIndex = ((CLConstantClassInfo) cp
<FONT ID="LN">1095</FONT><A NAME="1095"></A>                            .cpItem(classIndex)).nameIndex;
<FONT ID="LN">1096</FONT><A NAME="1096"></A>                    String target = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1097</FONT><A NAME="1097"></A>                            .cpItem(nameIndex)).b);
<FONT ID="LN">1098</FONT><A NAME="1098"></A>                    <FONT ID="Int">int</FONT> methodNameIndex = ((CLConstantNameAndTypeInfo) cp
<FONT ID="LN">1099</FONT><A NAME="1099"></A>                            .cpItem(nameAndTypeIndex)).nameIndex;
<FONT ID="LN">1100</FONT><A NAME="1100"></A>                    <FONT ID="Int">int</FONT> methodDescIndex = ((CLConstantNameAndTypeInfo) cp
<FONT ID="LN">1101</FONT><A NAME="1101"></A>                            .cpItem(nameAndTypeIndex)).descriptorIndex;
<FONT ID="LN">1102</FONT><A NAME="1102"></A>                    String name = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1103</FONT><A NAME="1103"></A>                            .cpItem(methodNameIndex)).b);
<FONT ID="LN">1104</FONT><A NAME="1104"></A>                    String desc = <FONT ID="New">new</FONT> String(((CLConstantUtf8Info) cp
<FONT ID="LN">1105</FONT><A NAME="1105"></A>                            .cpItem(methodDescIndex)).b);
<FONT ID="LN">1106</FONT><A NAME="1106"></A>                    ArrayList&lt;Integer&gt; args = <FONT ID="New">new</FONT> ArrayList&lt;Integer&gt;();
<FONT ID="LN">1107</FONT><A NAME="1107"></A>                    <FONT ID="Int">int</FONT> numArgs = argumentCount(desc);
<FONT ID="LN">1108</FONT><A NAME="1108"></A>                    <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; numArgs; i++) {
<FONT ID="LN">1109</FONT><A NAME="1109"></A>                        <FONT ID="Int">int</FONT> arg = operandStack.pop();
<FONT ID="LN">1110</FONT><A NAME="1110"></A>                        args.add(<FONT ID="IntegerLiteral">0</FONT>, arg);
<FONT ID="LN">1111</FONT><A NAME="1111"></A>                    }
<FONT ID="LN">1112</FONT><A NAME="1112"></A>                    String returnType = returnType(desc);
<FONT ID="LN">1113</FONT><A NAME="1113"></A>                    ins = <FONT ID="New">new</FONT> NHIRInvoke(block, hirId++, insInfo.opcode,
<FONT ID="LN">1114</FONT><A NAME="1114"></A>                            target, name, args, shortType(returnType),
<FONT ID="LN">1115</FONT><A NAME="1115"></A>                            returnType);
<FONT ID="LN">1116</FONT><A NAME="1116"></A>                    <FONT ID="If">if</FONT> (!returnType.equals(<FONT ID="StringLiteral">"V"</FONT>)) {
<FONT ID="LN">1117</FONT><A NAME="1117"></A>                        operandStack.push(ins.id);
<FONT ID="LN">1118</FONT><A NAME="1118"></A>                    }
<FONT ID="LN">1119</FONT><A NAME="1119"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1120</FONT><A NAME="1120"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1121</FONT><A NAME="1121"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1122</FONT><A NAME="1122"></A>                }
<FONT ID="LN">1123</FONT><A NAME="1123"></A>                <FONT ID="Case">case</FONT> IRETURN:
<FONT ID="LN">1124</FONT><A NAME="1124"></A>                <FONT ID="Case">case</FONT> ARETURN: {
<FONT ID="LN">1125</FONT><A NAME="1125"></A>                    ins = <FONT ID="New">new</FONT> NHIRReturn(block, hirId++, insInfo.opcode,
<FONT ID="LN">1126</FONT><A NAME="1126"></A>                            operandStack.pop());
<FONT ID="LN">1127</FONT><A NAME="1127"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1128</FONT><A NAME="1128"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1129</FONT><A NAME="1129"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1130</FONT><A NAME="1130"></A>                }
<FONT ID="LN">1131</FONT><A NAME="1131"></A>                <FONT ID="Case">case</FONT> RETURN: {
<FONT ID="LN">1132</FONT><A NAME="1132"></A>                    ins = <FONT ID="New">new</FONT> NHIRReturn(block, hirId++, insInfo.opcode, -<FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1133</FONT><A NAME="1133"></A>                    block.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1134</FONT><A NAME="1134"></A>                    block.hir.add(ins.id);
<FONT ID="LN">1135</FONT><A NAME="1135"></A>                    <FONT ID="Break">break</FONT>;
<FONT ID="LN">1136</FONT><A NAME="1136"></A>                }
<FONT ID="LN">1137</FONT><A NAME="1137"></A>                }
<FONT ID="LN">1138</FONT><A NAME="1138"></A>            }
<FONT ID="LN">1139</FONT><A NAME="1139"></A>        }
<FONT ID="LN">1140</FONT><A NAME="1140"></A>    }
<FONT ID="LN">1141</FONT><A NAME="1141"></A>
<FONT ID="LN">1142</FONT><A NAME="1142"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1143</FONT><A NAME="1143"></A>     * Carry out optimizations on the high-level instructions.
<FONT ID="LN">1144</FONT><A NAME="1144"></A>     */</FONT>
<FONT ID="LN">1145</FONT><A NAME="1145"></A>
<FONT ID="LN">1146</FONT><A NAME="1146"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> optimize() {
<FONT ID="LN">1147</FONT><A NAME="1147"></A>        <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">1148</FONT><A NAME="1148"></A></FONT>    }
<FONT ID="LN">1149</FONT><A NAME="1149"></A>
<FONT ID="LN">1150</FONT><A NAME="1150"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1151</FONT><A NAME="1151"></A>     * Eliminate redundant phi functions of the form x = (y, x, x, ..., x) with
<FONT ID="LN">1152</FONT><A NAME="1152"></A>     * y.
<FONT ID="LN">1153</FONT><A NAME="1153"></A>     */</FONT>
<FONT ID="LN">1154</FONT><A NAME="1154"></A>
<FONT ID="LN">1155</FONT><A NAME="1155"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> eliminateRedundantPhiFunctions() {
<FONT ID="LN">1156</FONT><A NAME="1156"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> ins : hirMap.keySet()) {
<FONT ID="LN">1157</FONT><A NAME="1157"></A>            <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> hir = hirMap.get(ins);
<FONT ID="LN">1158</FONT><A NAME="1158"></A>            <FONT ID="If">if</FONT> (hir <FONT ID="InstanceOf">instanceof</FONT> NHIRPhiFunction) {
<FONT ID="LN">1159</FONT><A NAME="1159"></A>                NHIRPhiFunction phi = (NHIRPhiFunction) hir;
<FONT ID="LN">1160</FONT><A NAME="1160"></A>                <FONT ID="Int">int</FONT> firstArg = phi.arguments.get(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1161</FONT><A NAME="1161"></A>                <FONT ID="Boolean">boolean</FONT> match = <FONT ID="True">true</FONT>;
<FONT ID="LN">1162</FONT><A NAME="1162"></A>                NBasicBlock block = phi.block;
<FONT ID="LN">1163</FONT><A NAME="1163"></A>                <FONT ID="If">if</FONT> (!block.isLoopHead) {
<FONT ID="LN">1164</FONT><A NAME="1164"></A>                    <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">1165</FONT><A NAME="1165"></A>                }
<FONT ID="LN">1166</FONT><A NAME="1166"></A>                <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">1</FONT>; i &lt; phi.arguments.size(); i++) {
<FONT ID="LN">1167</FONT><A NAME="1167"></A>                    <FONT ID="If">if</FONT> (phi.arguments.get(i) != block.predecessors.get(i).locals[phi.local]) {
<FONT ID="LN">1168</FONT><A NAME="1168"></A>                        match = <FONT ID="False">false</FONT>;
<FONT ID="LN">1169</FONT><A NAME="1169"></A>                        phi.arguments.set(i,
<FONT ID="LN">1170</FONT><A NAME="1170"></A>                                block.predecessors.get(i).locals[phi.local]);
<FONT ID="LN">1171</FONT><A NAME="1171"></A>                    }
<FONT ID="LN">1172</FONT><A NAME="1172"></A>                }
<FONT ID="LN">1173</FONT><A NAME="1173"></A>                <FONT ID="If">if</FONT> (match &amp;&amp; firstArg != phi.id) {
<FONT ID="LN">1174</FONT><A NAME="1174"></A>                    hirMap.put(phi.id, hirMap.get(firstArg));
<FONT ID="LN">1175</FONT><A NAME="1175"></A>                    phi.block.hir.remove((Integer) phi.id);
<FONT ID="LN">1176</FONT><A NAME="1176"></A>                }
<FONT ID="LN">1177</FONT><A NAME="1177"></A>            }
<FONT ID="LN">1178</FONT><A NAME="1178"></A>        }
<FONT ID="LN">1179</FONT><A NAME="1179"></A>    }
<FONT ID="LN">1180</FONT><A NAME="1180"></A>
<FONT ID="LN">1181</FONT><A NAME="1181"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1182</FONT><A NAME="1182"></A>     * Convert the hir instructions in this cfg to lir instructions.
<FONT ID="LN">1183</FONT><A NAME="1183"></A>     */</FONT>
<FONT ID="LN">1184</FONT><A NAME="1184"></A>
<FONT ID="LN">1185</FONT><A NAME="1185"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> hirToLir() {
<FONT ID="LN">1186</FONT><A NAME="1186"></A>        lirId = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1187</FONT><A NAME="1187"></A>        regId = <FONT ID="IntegerLiteral">32</FONT>;
<FONT ID="LN">1188</FONT><A NAME="1188"></A>        offset = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1189</FONT><A NAME="1189"></A>        registers = <FONT ID="New">new</FONT> ArrayList&lt;<A HREF="../jminusminus/NRegister.java.html">NRegister</A>&gt;();
<FONT ID="LN">1190</FONT><A NAME="1190"></A>        data = <FONT ID="New">new</FONT> ArrayList&lt;String&gt;();
<FONT ID="LN">1191</FONT><A NAME="1191"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; <FONT ID="IntegerLiteral">32</FONT>; i++) {
<FONT ID="LN">1192</FONT><A NAME="1192"></A>            registers.add(<FONT ID="Null">null</FONT>);
<FONT ID="LN">1193</FONT><A NAME="1193"></A>        }
<FONT ID="LN">1194</FONT><A NAME="1194"></A>        pRegisters = <FONT ID="New">new</FONT> ArrayList&lt;NPhysicalRegister&gt;();
<FONT ID="LN">1195</FONT><A NAME="1195"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> ins : hirMap.keySet()) {
<FONT ID="LN">1196</FONT><A NAME="1196"></A>            hirMap.get(ins).toLir();
<FONT ID="LN">1197</FONT><A NAME="1197"></A>        }
<FONT ID="LN">1198</FONT><A NAME="1198"></A>
<FONT ID="LN">1199</FONT><A NAME="1199"></A>        <FONT ID="SingleLineComment">// We now know how many virtual registers are needed, so
<FONT ID="LN">1200</FONT><A NAME="1200"></A></FONT>        <FONT ID="SingleLineComment">// we can initialize bitset fields in each block that are
<FONT ID="LN">1201</FONT><A NAME="1201"></A></FONT>        <FONT ID="SingleLineComment">// needed for interval calculation.
<FONT ID="LN">1202</FONT><A NAME="1202"></A></FONT>        <FONT ID="Int">int</FONT> size = registers.size();
<FONT ID="LN">1203</FONT><A NAME="1203"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1204</FONT><A NAME="1204"></A>            block.liveDef = <FONT ID="New">new</FONT> BitSet(size);
<FONT ID="LN">1205</FONT><A NAME="1205"></A>            block.liveUse = <FONT ID="New">new</FONT> BitSet(size);
<FONT ID="LN">1206</FONT><A NAME="1206"></A>            block.liveIn = <FONT ID="New">new</FONT> BitSet(size);
<FONT ID="LN">1207</FONT><A NAME="1207"></A>            block.liveOut = <FONT ID="New">new</FONT> BitSet(size);
<FONT ID="LN">1208</FONT><A NAME="1208"></A>        }
<FONT ID="LN">1209</FONT><A NAME="1209"></A>    }
<FONT ID="LN">1210</FONT><A NAME="1210"></A>
<FONT ID="LN">1211</FONT><A NAME="1211"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1212</FONT><A NAME="1212"></A>     * Resolve the phi functions in this cfg, i.e., for each x = phi(x1, x2,
<FONT ID="LN">1213</FONT><A NAME="1213"></A>     * ..., xn) generate an (LIR) move xi, x instruction at the end of the
<FONT ID="LN">1214</FONT><A NAME="1214"></A>     * predecessor i of thte block defining the phi function; if the instruction
<FONT ID="LN">1215</FONT><A NAME="1215"></A>     * there is a branch, add the instruction prior to the branch.
<FONT ID="LN">1216</FONT><A NAME="1216"></A>     */</FONT>
<FONT ID="LN">1217</FONT><A NAME="1217"></A>
<FONT ID="LN">1218</FONT><A NAME="1218"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> resolvePhiFunctions() {
<FONT ID="LN">1219</FONT><A NAME="1219"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> ins1 : hirMap.keySet()) {
<FONT ID="LN">1220</FONT><A NAME="1220"></A>            <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> hir = hirMap.get(ins1);
<FONT ID="LN">1221</FONT><A NAME="1221"></A>            <FONT ID="If">if</FONT> (hir <FONT ID="InstanceOf">instanceof</FONT> NHIRPhiFunction) {
<FONT ID="LN">1222</FONT><A NAME="1222"></A>                NHIRPhiFunction phi = (NHIRPhiFunction) hir;
<FONT ID="LN">1223</FONT><A NAME="1223"></A>                NBasicBlock block = phi.block;
<FONT ID="LN">1224</FONT><A NAME="1224"></A>                <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; phi.arguments.size(); i++) {
<FONT ID="LN">1225</FONT><A NAME="1225"></A>                    <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> arg = hirMap.get(phi.arguments.get(i));
<FONT ID="LN">1226</FONT><A NAME="1226"></A>                    <FONT ID="If">if</FONT> (arg.sType.equals(<FONT ID="StringLiteral">""</FONT>)) {
<FONT ID="LN">1227</FONT><A NAME="1227"></A>                        <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">1228</FONT><A NAME="1228"></A>                    }
<FONT ID="LN">1229</FONT><A NAME="1229"></A>                    NBasicBlock targetBlock = block.predecessors.get(i);
<FONT ID="LN">1230</FONT><A NAME="1230"></A>                    NLIRMove move = <FONT ID="New">new</FONT> NLIRMove(arg.block, lirId++, arg.lir,
<FONT ID="LN">1231</FONT><A NAME="1231"></A>                            phi.lir);
<FONT ID="LN">1232</FONT><A NAME="1232"></A>                    <FONT ID="Int">int</FONT> len = targetBlock.hir.size();
<FONT ID="LN">1233</FONT><A NAME="1233"></A>                    <FONT ID="If">if</FONT> (hirMap.get(targetBlock.hir.get(len - <FONT ID="IntegerLiteral">1</FONT>)) <FONT ID="InstanceOf">instanceof</FONT> NHIRGoto
<FONT ID="LN">1234</FONT><A NAME="1234"></A>                            || hirMap.get(targetBlock.hir.get(len - <FONT ID="IntegerLiteral">1</FONT>)) <FONT ID="InstanceOf">instanceof</FONT> NHIRConditionalJump) {
<FONT ID="LN">1235</FONT><A NAME="1235"></A>                        targetBlock.lir.add(len - <FONT ID="IntegerLiteral">1</FONT>, move);
<FONT ID="LN">1236</FONT><A NAME="1236"></A>                    } <FONT ID="Else">else</FONT> {
<FONT ID="LN">1237</FONT><A NAME="1237"></A>                        targetBlock.lir.add(move);
<FONT ID="LN">1238</FONT><A NAME="1238"></A>                    }
<FONT ID="LN">1239</FONT><A NAME="1239"></A>                }
<FONT ID="LN">1240</FONT><A NAME="1240"></A>            }
<FONT ID="LN">1241</FONT><A NAME="1241"></A>        }
<FONT ID="LN">1242</FONT><A NAME="1242"></A>    }
<FONT ID="LN">1243</FONT><A NAME="1243"></A>
<FONT ID="LN">1244</FONT><A NAME="1244"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1245</FONT><A NAME="1245"></A>     * Compute optimal ordering of the basic blocks in this cfg.
<FONT ID="LN">1246</FONT><A NAME="1246"></A>     */</FONT>
<FONT ID="LN">1247</FONT><A NAME="1247"></A>
<FONT ID="LN">1248</FONT><A NAME="1248"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> orderBlocks() {
<FONT ID="LN">1249</FONT><A NAME="1249"></A>        <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">1250</FONT><A NAME="1250"></A></FONT>    }
<FONT ID="LN">1251</FONT><A NAME="1251"></A>
<FONT ID="LN">1252</FONT><A NAME="1252"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1253</FONT><A NAME="1253"></A>     * The basic block at a particular instruction id.
<FONT ID="LN">1254</FONT><A NAME="1254"></A>     * 
<FONT ID="LN">1255</FONT><A NAME="1255"></A>     * @param id
<FONT ID="LN">1256</FONT><A NAME="1256"></A>     *            the (LIR) instruction id.
<FONT ID="LN">1257</FONT><A NAME="1257"></A>     * @return the basic block.
<FONT ID="LN">1258</FONT><A NAME="1258"></A>     */</FONT>
<FONT ID="LN">1259</FONT><A NAME="1259"></A>
<FONT ID="LN">1260</FONT><A NAME="1260"></A>    <FONT ID="Public">public</FONT> NBasicBlock blockAt(<FONT ID="Int">int</FONT> id) {
<FONT ID="LN">1261</FONT><A NAME="1261"></A>        <FONT ID="For">for</FONT> (NBasicBlock b : <FONT ID="This">this</FONT>.basicBlocks) {
<FONT ID="LN">1262</FONT><A NAME="1262"></A>            <FONT ID="If">if</FONT> (b.getFirstLIRInstId() &lt;= id &amp;&amp; b.getLastLIRInstId() &gt;= id)
<FONT ID="LN">1263</FONT><A NAME="1263"></A>                <FONT ID="Return">return</FONT> b;
<FONT ID="LN">1264</FONT><A NAME="1264"></A>        }
<FONT ID="LN">1265</FONT><A NAME="1265"></A>        <FONT ID="Return">return</FONT> <FONT ID="Null">null</FONT>;
<FONT ID="LN">1266</FONT><A NAME="1266"></A>    }
<FONT ID="LN">1267</FONT><A NAME="1267"></A>
<FONT ID="LN">1268</FONT><A NAME="1268"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1269</FONT><A NAME="1269"></A>     * Assign new ids to the LIR instructions in this cfg.
<FONT ID="LN">1270</FONT><A NAME="1270"></A>     */</FONT>
<FONT ID="LN">1271</FONT><A NAME="1271"></A>
<FONT ID="LN">1272</FONT><A NAME="1272"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> renumberLirInstructions() {
<FONT ID="LN">1273</FONT><A NAME="1273"></A>        <FONT ID="Int">int</FONT> nextId = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1274</FONT><A NAME="1274"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1275</FONT><A NAME="1275"></A>            ArrayList&lt;<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A>&gt; newLir = <FONT ID="New">new</FONT> ArrayList&lt;<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A>&gt;();
<FONT ID="LN">1276</FONT><A NAME="1276"></A>            <FONT ID="For">for</FONT> (<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> lir : block.lir) {
<FONT ID="LN">1277</FONT><A NAME="1277"></A>                <FONT ID="If">if</FONT> (lir <FONT ID="InstanceOf">instanceof</FONT> NLIRLoadLocal
<FONT ID="LN">1278</FONT><A NAME="1278"></A>                        &amp;&amp; ((NLIRLoadLocal) lir).local &lt; <FONT ID="IntegerLiteral">4</FONT>) {
<FONT ID="LN">1279</FONT><A NAME="1279"></A>                    <FONT ID="SingleLineComment">// Ignore first four formals.
<FONT ID="LN">1280</FONT><A NAME="1280"></A></FONT>                    <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">1281</FONT><A NAME="1281"></A>                }
<FONT ID="LN">1282</FONT><A NAME="1282"></A>                lir.id = nextId;
<FONT ID="LN">1283</FONT><A NAME="1283"></A>                nextId += <FONT ID="IntegerLiteral">5</FONT>; <FONT ID="SingleLineComment">// an extra slot for spills though we
<FONT ID="LN">1284</FONT><A NAME="1284"></A></FONT>                <FONT ID="SingleLineComment">// don't use it
<FONT ID="LN">1285</FONT><A NAME="1285"></A></FONT>                newLir.add(lir);
<FONT ID="LN">1286</FONT><A NAME="1286"></A>            }
<FONT ID="LN">1287</FONT><A NAME="1287"></A>            block.lir = newLir;
<FONT ID="LN">1288</FONT><A NAME="1288"></A>        }
<FONT ID="LN">1289</FONT><A NAME="1289"></A>    }
<FONT ID="LN">1290</FONT><A NAME="1290"></A>
<FONT ID="LN">1291</FONT><A NAME="1291"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1292</FONT><A NAME="1292"></A>     * Replace references to virtual registers in LIR instructions with
<FONT ID="LN">1293</FONT><A NAME="1293"></A>     * references to physical registers.
<FONT ID="LN">1294</FONT><A NAME="1294"></A>     */</FONT>
<FONT ID="LN">1295</FONT><A NAME="1295"></A>
<FONT ID="LN">1296</FONT><A NAME="1296"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> allocatePhysicalRegisters() {
<FONT ID="LN">1297</FONT><A NAME="1297"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1298</FONT><A NAME="1298"></A>            <FONT ID="For">for</FONT> (<A HREF="../jminusminus/NLIRInstruction.java.html">NLIRInstruction</A> lir : block.lir) {
<FONT ID="LN">1299</FONT><A NAME="1299"></A>                lir.allocatePhysicalRegisters();
<FONT ID="LN">1300</FONT><A NAME="1300"></A>            }
<FONT ID="LN">1301</FONT><A NAME="1301"></A>        }
<FONT ID="LN">1302</FONT><A NAME="1302"></A>    }
<FONT ID="LN">1303</FONT><A NAME="1303"></A>
<FONT ID="LN">1304</FONT><A NAME="1304"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1305</FONT><A NAME="1305"></A>     * Write the tuples in this cfg to STDOUT.
<FONT ID="LN">1306</FONT><A NAME="1306"></A>     * 
<FONT ID="LN">1307</FONT><A NAME="1307"></A>     * @param p
<FONT ID="LN">1308</FONT><A NAME="1308"></A>     *            for pretty printing with indentation.
<FONT ID="LN">1309</FONT><A NAME="1309"></A>     */</FONT>
<FONT ID="LN">1310</FONT><A NAME="1310"></A>
<FONT ID="LN">1311</FONT><A NAME="1311"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeTuplesToStdOut(PrettyPrinter p) {
<FONT ID="LN">1312</FONT><A NAME="1312"></A>        p.indentRight();
<FONT ID="LN">1313</FONT><A NAME="1313"></A>        p.printf(<FONT ID="StringLiteral">"========== TUPLES ==========\n\n"</FONT>);
<FONT ID="LN">1314</FONT><A NAME="1314"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1315</FONT><A NAME="1315"></A>            block.writeTuplesToStdOut(p);
<FONT ID="LN">1316</FONT><A NAME="1316"></A>        }
<FONT ID="LN">1317</FONT><A NAME="1317"></A>        p.indentLeft();
<FONT ID="LN">1318</FONT><A NAME="1318"></A>    }
<FONT ID="LN">1319</FONT><A NAME="1319"></A>
<FONT ID="LN">1320</FONT><A NAME="1320"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1321</FONT><A NAME="1321"></A>     * Write the hir instructions in this cfg to STDOUT.
<FONT ID="LN">1322</FONT><A NAME="1322"></A>     * 
<FONT ID="LN">1323</FONT><A NAME="1323"></A>     * @param p
<FONT ID="LN">1324</FONT><A NAME="1324"></A>     *            for pretty printing with indentation.
<FONT ID="LN">1325</FONT><A NAME="1325"></A>     */</FONT>
<FONT ID="LN">1326</FONT><A NAME="1326"></A>
<FONT ID="LN">1327</FONT><A NAME="1327"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeHirToStdOut(PrettyPrinter p) {
<FONT ID="LN">1328</FONT><A NAME="1328"></A>        p.indentRight();
<FONT ID="LN">1329</FONT><A NAME="1329"></A>        p.printf(<FONT ID="StringLiteral">"========== HIR ==========\n\n"</FONT>);
<FONT ID="LN">1330</FONT><A NAME="1330"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1331</FONT><A NAME="1331"></A>            block.writeHirToStdOut(p);
<FONT ID="LN">1332</FONT><A NAME="1332"></A>        }
<FONT ID="LN">1333</FONT><A NAME="1333"></A>        p.indentLeft();
<FONT ID="LN">1334</FONT><A NAME="1334"></A>    }
<FONT ID="LN">1335</FONT><A NAME="1335"></A>
<FONT ID="LN">1336</FONT><A NAME="1336"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1337</FONT><A NAME="1337"></A>     * Write the lir instructions in this cfg to STDOUT.
<FONT ID="LN">1338</FONT><A NAME="1338"></A>     * 
<FONT ID="LN">1339</FONT><A NAME="1339"></A>     * @param p
<FONT ID="LN">1340</FONT><A NAME="1340"></A>     *            for pretty printing with indentation.
<FONT ID="LN">1341</FONT><A NAME="1341"></A>     */</FONT>
<FONT ID="LN">1342</FONT><A NAME="1342"></A>
<FONT ID="LN">1343</FONT><A NAME="1343"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeLirToStdOut(PrettyPrinter p) {
<FONT ID="LN">1344</FONT><A NAME="1344"></A>        p.indentRight();
<FONT ID="LN">1345</FONT><A NAME="1345"></A>        p.printf(<FONT ID="StringLiteral">"========== LIR ==========\n\n"</FONT>);
<FONT ID="LN">1346</FONT><A NAME="1346"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1347</FONT><A NAME="1347"></A>            block.writeLirToStdOut(p);
<FONT ID="LN">1348</FONT><A NAME="1348"></A>        }
<FONT ID="LN">1349</FONT><A NAME="1349"></A>        p.indentLeft();
<FONT ID="LN">1350</FONT><A NAME="1350"></A>    }
<FONT ID="LN">1351</FONT><A NAME="1351"></A>
<FONT ID="LN">1352</FONT><A NAME="1352"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1353</FONT><A NAME="1353"></A>     * Write the intervals in this cfg to STDOUT.
<FONT ID="LN">1354</FONT><A NAME="1354"></A>     * 
<FONT ID="LN">1355</FONT><A NAME="1355"></A>     * @param p
<FONT ID="LN">1356</FONT><A NAME="1356"></A>     *            for pretty printing with indentation.
<FONT ID="LN">1357</FONT><A NAME="1357"></A>     */</FONT>
<FONT ID="LN">1358</FONT><A NAME="1358"></A>
<FONT ID="LN">1359</FONT><A NAME="1359"></A>    <FONT ID="Public">public</FONT> <FONT ID="Void">void</FONT> writeIntervalsToStdOut(PrettyPrinter p) {
<FONT ID="LN">1360</FONT><A NAME="1360"></A>        p.indentRight();
<FONT ID="LN">1361</FONT><A NAME="1361"></A>        p.printf(<FONT ID="StringLiteral">"========== INTERVALS ==========\n\n"</FONT>);
<FONT ID="LN">1362</FONT><A NAME="1362"></A>        <FONT ID="For">for</FONT> (<A HREF="../jminusminus/NInterval.java.html">NInterval</A> interval : intervals) {
<FONT ID="LN">1363</FONT><A NAME="1363"></A>            interval.writeToStdOut(p);
<FONT ID="LN">1364</FONT><A NAME="1364"></A>        }
<FONT ID="LN">1365</FONT><A NAME="1365"></A>        p.indentLeft();
<FONT ID="LN">1366</FONT><A NAME="1366"></A>        p.printf(<FONT ID="StringLiteral">"\n"</FONT>);
<FONT ID="LN">1367</FONT><A NAME="1367"></A>    }
<FONT ID="LN">1368</FONT><A NAME="1368"></A>
<FONT ID="LN">1369</FONT><A NAME="1369"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1370</FONT><A NAME="1370"></A>     * Clear the visitation information in each block in this cfg.
<FONT ID="LN">1371</FONT><A NAME="1371"></A>     */</FONT>
<FONT ID="LN">1372</FONT><A NAME="1372"></A>
<FONT ID="LN">1373</FONT><A NAME="1373"></A>    <FONT ID="Private">private</FONT> <FONT ID="Void">void</FONT> clearBlockVisitations() {
<FONT ID="LN">1374</FONT><A NAME="1374"></A>        <FONT ID="For">for</FONT> (NBasicBlock block : basicBlocks) {
<FONT ID="LN">1375</FONT><A NAME="1375"></A>            block.visited = <FONT ID="False">false</FONT>;
<FONT ID="LN">1376</FONT><A NAME="1376"></A>        }
<FONT ID="LN">1377</FONT><A NAME="1377"></A>    }
<FONT ID="LN">1378</FONT><A NAME="1378"></A>
<FONT ID="LN">1379</FONT><A NAME="1379"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1380</FONT><A NAME="1380"></A>     * Given a basic block and its predecessor, return their common dominator.
<FONT ID="LN">1381</FONT><A NAME="1381"></A>     * 
<FONT ID="LN">1382</FONT><A NAME="1382"></A>     * @param b
<FONT ID="LN">1383</FONT><A NAME="1383"></A>     *            a basic block.
<FONT ID="LN">1384</FONT><A NAME="1384"></A>     * @param pred
<FONT ID="LN">1385</FONT><A NAME="1385"></A>     *            predecessor of b.
<FONT ID="LN">1386</FONT><A NAME="1386"></A>     * 
<FONT ID="LN">1387</FONT><A NAME="1387"></A>     * @return common dominator of the given block and its predecessor.
<FONT ID="LN">1388</FONT><A NAME="1388"></A>     */</FONT>
<FONT ID="LN">1389</FONT><A NAME="1389"></A>
<FONT ID="LN">1390</FONT><A NAME="1390"></A>    <FONT ID="Private">private</FONT> NBasicBlock commonDom(NBasicBlock b, NBasicBlock pred) {
<FONT ID="LN">1391</FONT><A NAME="1391"></A>        NBasicBlock dom = b;
<FONT ID="LN">1392</FONT><A NAME="1392"></A>        clearBlockVisitations();
<FONT ID="LN">1393</FONT><A NAME="1393"></A>        <FONT ID="While">while</FONT> (dom != <FONT ID="Null">null</FONT>) {
<FONT ID="LN">1394</FONT><A NAME="1394"></A>            dom.visited = <FONT ID="True">true</FONT>;
<FONT ID="LN">1395</FONT><A NAME="1395"></A>            dom = dom.dom;
<FONT ID="LN">1396</FONT><A NAME="1396"></A>        }
<FONT ID="LN">1397</FONT><A NAME="1397"></A>        dom = pred;
<FONT ID="LN">1398</FONT><A NAME="1398"></A>        <FONT ID="While">while</FONT> (!dom.visited) {
<FONT ID="LN">1399</FONT><A NAME="1399"></A>            dom = dom.dom;
<FONT ID="LN">1400</FONT><A NAME="1400"></A>        }
<FONT ID="LN">1401</FONT><A NAME="1401"></A>        <FONT ID="Return">return</FONT> dom;
<FONT ID="LN">1402</FONT><A NAME="1402"></A>    }
<FONT ID="LN">1403</FONT><A NAME="1403"></A>
<FONT ID="LN">1404</FONT><A NAME="1404"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1405</FONT><A NAME="1405"></A>     * Merge the locals from each of the predecessors of the specified block
<FONT ID="LN">1406</FONT><A NAME="1406"></A>     * with the locals in the block.
<FONT ID="LN">1407</FONT><A NAME="1407"></A>     * 
<FONT ID="LN">1408</FONT><A NAME="1408"></A>     * @param block
<FONT ID="LN">1409</FONT><A NAME="1409"></A>     *            block to merge into.
<FONT ID="LN">1410</FONT><A NAME="1410"></A>     */</FONT>
<FONT ID="LN">1411</FONT><A NAME="1411"></A>
<FONT ID="LN">1412</FONT><A NAME="1412"></A>    <FONT ID="Private">private</FONT> <FONT ID="Void">void</FONT> mergeLocals(NBasicBlock block) {
<FONT ID="LN">1413</FONT><A NAME="1413"></A>        <FONT ID="For">for</FONT> (NBasicBlock other : block.predecessors) {
<FONT ID="LN">1414</FONT><A NAME="1414"></A>            mergeLocals(block, other);
<FONT ID="LN">1415</FONT><A NAME="1415"></A>        }
<FONT ID="LN">1416</FONT><A NAME="1416"></A>    }
<FONT ID="LN">1417</FONT><A NAME="1417"></A>
<FONT ID="LN">1418</FONT><A NAME="1418"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1419</FONT><A NAME="1419"></A>     * Merge the locals in block b with the locals in block a.
<FONT ID="LN">1420</FONT><A NAME="1420"></A>     * 
<FONT ID="LN">1421</FONT><A NAME="1421"></A>     * @param a
<FONT ID="LN">1422</FONT><A NAME="1422"></A>     *            block to merge into.
<FONT ID="LN">1423</FONT><A NAME="1423"></A>     * @param b
<FONT ID="LN">1424</FONT><A NAME="1424"></A>     *            block to merge from.
<FONT ID="LN">1425</FONT><A NAME="1425"></A>     */</FONT>
<FONT ID="LN">1426</FONT><A NAME="1426"></A>
<FONT ID="LN">1427</FONT><A NAME="1427"></A>    <FONT ID="Private">private</FONT> <FONT ID="Void">void</FONT> mergeLocals(NBasicBlock a, NBasicBlock b) {
<FONT ID="LN">1428</FONT><A NAME="1428"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; a.locals.length; i++) {
<FONT ID="LN">1429</FONT><A NAME="1429"></A>            <FONT ID="If">if</FONT> (a.cfg.hirMap.get(a.locals[i]).equals(
<FONT ID="LN">1430</FONT><A NAME="1430"></A>                    b.cfg.hirMap.get(b.locals[i]))) {
<FONT ID="LN">1431</FONT><A NAME="1431"></A>                <FONT ID="Continue">continue</FONT>;
<FONT ID="LN">1432</FONT><A NAME="1432"></A>            } <FONT ID="Else">else</FONT> {
<FONT ID="LN">1433</FONT><A NAME="1433"></A>                ArrayList&lt;Integer&gt; args = <FONT ID="New">new</FONT> ArrayList&lt;Integer&gt;();
<FONT ID="LN">1434</FONT><A NAME="1434"></A>                args.add(a.locals[i]);
<FONT ID="LN">1435</FONT><A NAME="1435"></A>                args.add(b.locals[i]);
<FONT ID="LN">1436</FONT><A NAME="1436"></A>                <A HREF="../jminusminus/NHIRInstruction.java.html">NHIRInstruction</A> ins = <FONT ID="New">new</FONT> NHIRPhiFunction(a,
<FONT ID="LN">1437</FONT><A NAME="1437"></A>                        NControlFlowGraph.hirId++, args, i);
<FONT ID="LN">1438</FONT><A NAME="1438"></A>                a.locals[i] = ins.id;
<FONT ID="LN">1439</FONT><A NAME="1439"></A>                a.hir.add(ins.id);
<FONT ID="LN">1440</FONT><A NAME="1440"></A>                a.cfg.hirMap.put(ins.id, ins);
<FONT ID="LN">1441</FONT><A NAME="1441"></A>                ((NHIRPhiFunction) ins).inferType();
<FONT ID="LN">1442</FONT><A NAME="1442"></A>            }
<FONT ID="LN">1443</FONT><A NAME="1443"></A>        }
<FONT ID="LN">1444</FONT><A NAME="1444"></A>    }
<FONT ID="LN">1445</FONT><A NAME="1445"></A>
<FONT ID="LN">1446</FONT><A NAME="1446"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1447</FONT><A NAME="1447"></A>     * Convert the bytecode in the specified list to their tuple
<FONT ID="LN">1448</FONT><A NAME="1448"></A>     * representations.
<FONT ID="LN">1449</FONT><A NAME="1449"></A>     * 
<FONT ID="LN">1450</FONT><A NAME="1450"></A>     * @param code
<FONT ID="LN">1451</FONT><A NAME="1451"></A>     *            bytecode to convert.
<FONT ID="LN">1452</FONT><A NAME="1452"></A>     * 
<FONT ID="LN">1453</FONT><A NAME="1453"></A>     * @return list of tuples.
<FONT ID="LN">1454</FONT><A NAME="1454"></A>     */</FONT>
<FONT ID="LN">1455</FONT><A NAME="1455"></A>
<FONT ID="LN">1456</FONT><A NAME="1456"></A>    <FONT ID="Private">private</FONT> ArrayList&lt;NTuple&gt; bytecodeToTuples(ArrayList&lt;Integer&gt; code) {
<FONT ID="LN">1457</FONT><A NAME="1457"></A>        ArrayList&lt;NTuple&gt; tuples = <FONT ID="New">new</FONT> ArrayList&lt;NTuple&gt;();
<FONT ID="LN">1458</FONT><A NAME="1458"></A>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>; i &lt; code.size(); i++) {
<FONT ID="LN">1459</FONT><A NAME="1459"></A>            <FONT ID="Int">int</FONT> pc = i;
<FONT ID="LN">1460</FONT><A NAME="1460"></A>            <FONT ID="Int">int</FONT> opcode = code.get(i);
<FONT ID="LN">1461</FONT><A NAME="1461"></A>            <FONT ID="Int">int</FONT> operandBytes = CLInstruction.instructionInfo[opcode].operandCount;
<FONT ID="LN">1462</FONT><A NAME="1462"></A>            <FONT ID="Short">short</FONT> operandByte1, operandByte2, operandByte3, operandByte4;
<FONT ID="LN">1463</FONT><A NAME="1463"></A>            <FONT ID="Int">int</FONT> pad, deflt;
<FONT ID="LN">1464</FONT><A NAME="1464"></A>            ArrayList&lt;Short&gt; operands = <FONT ID="New">new</FONT> ArrayList&lt;Short&gt;();
<FONT ID="LN">1465</FONT><A NAME="1465"></A>            <FONT ID="Switch">switch</FONT> (operandBytes) {
<FONT ID="LN">1466</FONT><A NAME="1466"></A>            <FONT ID="Case">case</FONT> <FONT ID="IntegerLiteral">0</FONT>:
<FONT ID="LN">1467</FONT><A NAME="1467"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1468</FONT><A NAME="1468"></A>            <FONT ID="Case">case</FONT> <FONT ID="IntegerLiteral">1</FONT>:
<FONT ID="LN">1469</FONT><A NAME="1469"></A>                operandByte1 = code.get(++i).shortValue();
<FONT ID="LN">1470</FONT><A NAME="1470"></A>                operands.add(operandByte1);
<FONT ID="LN">1471</FONT><A NAME="1471"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1472</FONT><A NAME="1472"></A>            <FONT ID="Case">case</FONT> <FONT ID="IntegerLiteral">2</FONT>:
<FONT ID="LN">1473</FONT><A NAME="1473"></A>                operandByte1 = code.get(++i).shortValue();
<FONT ID="LN">1474</FONT><A NAME="1474"></A>                operandByte2 = code.get(++i).shortValue();
<FONT ID="LN">1475</FONT><A NAME="1475"></A>                operands.add(operandByte1);
<FONT ID="LN">1476</FONT><A NAME="1476"></A>                operands.add(operandByte2);
<FONT ID="LN">1477</FONT><A NAME="1477"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1478</FONT><A NAME="1478"></A>            <FONT ID="Case">case</FONT> <FONT ID="IntegerLiteral">3</FONT>:
<FONT ID="LN">1479</FONT><A NAME="1479"></A>                operandByte1 = code.get(++i).shortValue();
<FONT ID="LN">1480</FONT><A NAME="1480"></A>                operandByte2 = code.get(++i).shortValue();
<FONT ID="LN">1481</FONT><A NAME="1481"></A>                operandByte3 = code.get(++i).shortValue();
<FONT ID="LN">1482</FONT><A NAME="1482"></A>                operands.add(operandByte1);
<FONT ID="LN">1483</FONT><A NAME="1483"></A>                operands.add(operandByte2);
<FONT ID="LN">1484</FONT><A NAME="1484"></A>                operands.add(operandByte3);
<FONT ID="LN">1485</FONT><A NAME="1485"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1486</FONT><A NAME="1486"></A>            <FONT ID="Case">case</FONT> <FONT ID="IntegerLiteral">4</FONT>:
<FONT ID="LN">1487</FONT><A NAME="1487"></A>                operandByte1 = code.get(++i).shortValue();
<FONT ID="LN">1488</FONT><A NAME="1488"></A>                operandByte2 = code.get(++i).shortValue();
<FONT ID="LN">1489</FONT><A NAME="1489"></A>                operandByte3 = code.get(++i).shortValue();
<FONT ID="LN">1490</FONT><A NAME="1490"></A>                operandByte4 = code.get(++i).shortValue();
<FONT ID="LN">1491</FONT><A NAME="1491"></A>                operands.add(operandByte1);
<FONT ID="LN">1492</FONT><A NAME="1492"></A>                operands.add(operandByte2);
<FONT ID="LN">1493</FONT><A NAME="1493"></A>                operands.add(operandByte3);
<FONT ID="LN">1494</FONT><A NAME="1494"></A>                operands.add(operandByte4);
<FONT ID="LN">1495</FONT><A NAME="1495"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1496</FONT><A NAME="1496"></A>            <FONT ID="Case">case</FONT> DYNAMIC: <FONT ID="SingleLineComment">// TBD
<FONT ID="LN">1497</FONT><A NAME="1497"></A></FONT>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1498</FONT><A NAME="1498"></A>            }
<FONT ID="LN">1499</FONT><A NAME="1499"></A>            tuples.add(<FONT ID="New">new</FONT> NTuple(pc, opcode, operands));
<FONT ID="LN">1500</FONT><A NAME="1500"></A>        }
<FONT ID="LN">1501</FONT><A NAME="1501"></A>        <FONT ID="Return">return</FONT> tuples;
<FONT ID="LN">1502</FONT><A NAME="1502"></A>    }
<FONT ID="LN">1503</FONT><A NAME="1503"></A>
<FONT ID="LN">1504</FONT><A NAME="1504"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1505</FONT><A NAME="1505"></A>     * Construct and return a short integer from two unsigned bytes specified.
<FONT ID="LN">1506</FONT><A NAME="1506"></A>     * 
<FONT ID="LN">1507</FONT><A NAME="1507"></A>     * @param a
<FONT ID="LN">1508</FONT><A NAME="1508"></A>     *            unsigned byte.
<FONT ID="LN">1509</FONT><A NAME="1509"></A>     * @param b
<FONT ID="LN">1510</FONT><A NAME="1510"></A>     *            unsigned byte.
<FONT ID="LN">1511</FONT><A NAME="1511"></A>     * 
<FONT ID="LN">1512</FONT><A NAME="1512"></A>     * @return a short integer constructed from the two unsigned bytes
<FONT ID="LN">1513</FONT><A NAME="1513"></A>     *         specified.
<FONT ID="LN">1514</FONT><A NAME="1514"></A>     */</FONT>
<FONT ID="LN">1515</FONT><A NAME="1515"></A>
<FONT ID="LN">1516</FONT><A NAME="1516"></A>    <FONT ID="Private">private</FONT> <FONT ID="Short">short</FONT> shortValue(<FONT ID="Short">short</FONT> a, <FONT ID="Short">short</FONT> b) {
<FONT ID="LN">1517</FONT><A NAME="1517"></A>        <FONT ID="Return">return</FONT> (<FONT ID="Short">short</FONT>) ((a &lt;&lt; <FONT ID="IntegerLiteral">8</FONT>) | b);
<FONT ID="LN">1518</FONT><A NAME="1518"></A>    }
<FONT ID="LN">1519</FONT><A NAME="1519"></A>
<FONT ID="LN">1520</FONT><A NAME="1520"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1521</FONT><A NAME="1521"></A>     * Construct and return an integer from the four unsigned bytes specified.
<FONT ID="LN">1522</FONT><A NAME="1522"></A>     * 
<FONT ID="LN">1523</FONT><A NAME="1523"></A>     * @param a
<FONT ID="LN">1524</FONT><A NAME="1524"></A>     *            unsigned byte.
<FONT ID="LN">1525</FONT><A NAME="1525"></A>     * @param b
<FONT ID="LN">1526</FONT><A NAME="1526"></A>     *            unsigned byte.
<FONT ID="LN">1527</FONT><A NAME="1527"></A>     * @param c
<FONT ID="LN">1528</FONT><A NAME="1528"></A>     *            unsigned byte.
<FONT ID="LN">1529</FONT><A NAME="1529"></A>     * @param d
<FONT ID="LN">1530</FONT><A NAME="1530"></A>     *            unsigned byte.
<FONT ID="LN">1531</FONT><A NAME="1531"></A>     * @return an integer constructed from the four unsigned bytes specified.
<FONT ID="LN">1532</FONT><A NAME="1532"></A>     */</FONT>
<FONT ID="LN">1533</FONT><A NAME="1533"></A>
<FONT ID="LN">1534</FONT><A NAME="1534"></A>    <FONT ID="Private">private</FONT> <FONT ID="Int">int</FONT> intValue(<FONT ID="Short">short</FONT> a, <FONT ID="Short">short</FONT> b, <FONT ID="Short">short</FONT> c, <FONT ID="Short">short</FONT> d) {
<FONT ID="LN">1535</FONT><A NAME="1535"></A>        <FONT ID="Return">return</FONT> (a &lt;&lt; <FONT ID="IntegerLiteral">24</FONT>) | (b &lt;&lt; <FONT ID="IntegerLiteral">16</FONT>) | (c &lt;&lt; <FONT ID="IntegerLiteral">8</FONT>) | d;
<FONT ID="LN">1536</FONT><A NAME="1536"></A>    }
<FONT ID="LN">1537</FONT><A NAME="1537"></A>
<FONT ID="LN">1538</FONT><A NAME="1538"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1539</FONT><A NAME="1539"></A>     * Extract and return the JVM bytecode for the method denoted by this cfg.
<FONT ID="LN">1540</FONT><A NAME="1540"></A>     * 
<FONT ID="LN">1541</FONT><A NAME="1541"></A>     * @return JVM bytecode for the method denoted by this cfg.
<FONT ID="LN">1542</FONT><A NAME="1542"></A>     */</FONT>
<FONT ID="LN">1543</FONT><A NAME="1543"></A>
<FONT ID="LN">1544</FONT><A NAME="1544"></A>    <FONT ID="Private">private</FONT> ArrayList&lt;Integer&gt; getByteCode() {
<FONT ID="LN">1545</FONT><A NAME="1545"></A>        ArrayList&lt;Integer&gt; code = <FONT ID="Null">null</FONT>;
<FONT ID="LN">1546</FONT><A NAME="1546"></A>        <FONT ID="For">for</FONT> (<A HREF="../jminusminus/CLAttributeInfo.java.html">CLAttributeInfo</A> info : m.attributes) {
<FONT ID="LN">1547</FONT><A NAME="1547"></A>            <FONT ID="If">if</FONT> (info <FONT ID="InstanceOf">instanceof</FONT> CLCodeAttribute) {
<FONT ID="LN">1548</FONT><A NAME="1548"></A>                code = ((CLCodeAttribute) info).code;
<FONT ID="LN">1549</FONT><A NAME="1549"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1550</FONT><A NAME="1550"></A>            }
<FONT ID="LN">1551</FONT><A NAME="1551"></A>        }
<FONT ID="LN">1552</FONT><A NAME="1552"></A>        <FONT ID="Return">return</FONT> code;
<FONT ID="LN">1553</FONT><A NAME="1553"></A>    }
<FONT ID="LN">1554</FONT><A NAME="1554"></A>
<FONT ID="LN">1555</FONT><A NAME="1555"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1556</FONT><A NAME="1556"></A>     * Return short form of the specified type descriptor.
<FONT ID="LN">1557</FONT><A NAME="1557"></A>     * 
<FONT ID="LN">1558</FONT><A NAME="1558"></A>     * @param descriptor
<FONT ID="LN">1559</FONT><A NAME="1559"></A>     *            type descriptor.
<FONT ID="LN">1560</FONT><A NAME="1560"></A>     * 
<FONT ID="LN">1561</FONT><A NAME="1561"></A>     * @return short form of type descriptor.
<FONT ID="LN">1562</FONT><A NAME="1562"></A>     */</FONT>
<FONT ID="LN">1563</FONT><A NAME="1563"></A>
<FONT ID="LN">1564</FONT><A NAME="1564"></A>    <FONT ID="Private">private</FONT> String shortType(String descriptor) {
<FONT ID="LN">1565</FONT><A NAME="1565"></A>        String sType = <FONT ID="StringLiteral">"V"</FONT>;
<FONT ID="LN">1566</FONT><A NAME="1566"></A>        <FONT ID="Char">char</FONT> c = descriptor.charAt(<FONT ID="IntegerLiteral">0</FONT>);
<FONT ID="LN">1567</FONT><A NAME="1567"></A>        <FONT ID="Switch">switch</FONT> (c) {
<FONT ID="LN">1568</FONT><A NAME="1568"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'B'</FONT>:
<FONT ID="LN">1569</FONT><A NAME="1569"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'C'</FONT>:
<FONT ID="LN">1570</FONT><A NAME="1570"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'I'</FONT>:
<FONT ID="LN">1571</FONT><A NAME="1571"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'F'</FONT>:
<FONT ID="LN">1572</FONT><A NAME="1572"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'S'</FONT>:
<FONT ID="LN">1573</FONT><A NAME="1573"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'Z'</FONT>:
<FONT ID="LN">1574</FONT><A NAME="1574"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'J'</FONT>:
<FONT ID="LN">1575</FONT><A NAME="1575"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'D'</FONT>:
<FONT ID="LN">1576</FONT><A NAME="1576"></A>            sType = c + <FONT ID="StringLiteral">""</FONT>;
<FONT ID="LN">1577</FONT><A NAME="1577"></A>            <FONT ID="Break">break</FONT>;
<FONT ID="LN">1578</FONT><A NAME="1578"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'['</FONT>:
<FONT ID="LN">1579</FONT><A NAME="1579"></A>        <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'L'</FONT>:
<FONT ID="LN">1580</FONT><A NAME="1580"></A>            sType = <FONT ID="StringLiteral">"L"</FONT>;
<FONT ID="LN">1581</FONT><A NAME="1581"></A>            <FONT ID="Break">break</FONT>;
<FONT ID="LN">1582</FONT><A NAME="1582"></A>        }
<FONT ID="LN">1583</FONT><A NAME="1583"></A>        <FONT ID="Return">return</FONT> sType;
<FONT ID="LN">1584</FONT><A NAME="1584"></A>    }
<FONT ID="LN">1585</FONT><A NAME="1585"></A>
<FONT ID="LN">1586</FONT><A NAME="1586"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1587</FONT><A NAME="1587"></A>     * Return the number of local variables in the method denoted by this cfg.
<FONT ID="LN">1588</FONT><A NAME="1588"></A>     * 
<FONT ID="LN">1589</FONT><A NAME="1589"></A>     * @return number of local variables.
<FONT ID="LN">1590</FONT><A NAME="1590"></A>     */</FONT>
<FONT ID="LN">1591</FONT><A NAME="1591"></A>
<FONT ID="LN">1592</FONT><A NAME="1592"></A>    <FONT ID="Private">private</FONT> <FONT ID="Int">int</FONT> numLocals() {
<FONT ID="LN">1593</FONT><A NAME="1593"></A>        ArrayList&lt;Integer&gt; code = <FONT ID="Null">null</FONT>;
<FONT ID="LN">1594</FONT><A NAME="1594"></A>        <FONT ID="Int">int</FONT> numLocals = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1595</FONT><A NAME="1595"></A>        <FONT ID="For">for</FONT> (<A HREF="../jminusminus/CLAttributeInfo.java.html">CLAttributeInfo</A> info : m.attributes) {
<FONT ID="LN">1596</FONT><A NAME="1596"></A>            <FONT ID="If">if</FONT> (info <FONT ID="InstanceOf">instanceof</FONT> CLCodeAttribute) {
<FONT ID="LN">1597</FONT><A NAME="1597"></A>                code = ((CLCodeAttribute) info).code;
<FONT ID="LN">1598</FONT><A NAME="1598"></A>                numLocals = ((CLCodeAttribute) info).maxLocals;
<FONT ID="LN">1599</FONT><A NAME="1599"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1600</FONT><A NAME="1600"></A>            }
<FONT ID="LN">1601</FONT><A NAME="1601"></A>        }
<FONT ID="LN">1602</FONT><A NAME="1602"></A>        <FONT ID="Return">return</FONT> numLocals;
<FONT ID="LN">1603</FONT><A NAME="1603"></A>    }
<FONT ID="LN">1604</FONT><A NAME="1604"></A>
<FONT ID="LN">1605</FONT><A NAME="1605"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1606</FONT><A NAME="1606"></A>     * Return the argument count (number of formal parameters) for the specified
<FONT ID="LN">1607</FONT><A NAME="1607"></A>     * method. 0 is returned if the descriptor is invalid.
<FONT ID="LN">1608</FONT><A NAME="1608"></A>     * 
<FONT ID="LN">1609</FONT><A NAME="1609"></A>     * @param descriptor
<FONT ID="LN">1610</FONT><A NAME="1610"></A>     *            method descriptor.
<FONT ID="LN">1611</FONT><A NAME="1611"></A>     * @return argument count for the specified method.
<FONT ID="LN">1612</FONT><A NAME="1612"></A>     */</FONT>
<FONT ID="LN">1613</FONT><A NAME="1613"></A>
<FONT ID="LN">1614</FONT><A NAME="1614"></A>    <FONT ID="Private">private</FONT> <FONT ID="Int">int</FONT> argumentCount(String descriptor) {
<FONT ID="LN">1615</FONT><A NAME="1615"></A>        <FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1616</FONT><A NAME="1616"></A>
<FONT ID="LN">1617</FONT><A NAME="1617"></A>        <FONT ID="SingleLineComment">// Extract types of arguments and the return type from
<FONT ID="LN">1618</FONT><A NAME="1618"></A></FONT>        <FONT ID="SingleLineComment">// the method descriptor
<FONT ID="LN">1619</FONT><A NAME="1619"></A></FONT>        String argTypes = descriptor.substring(<FONT ID="IntegerLiteral">1</FONT>, descriptor.lastIndexOf(<FONT ID="StringLiteral">")"</FONT>));
<FONT ID="LN">1620</FONT><A NAME="1620"></A>
<FONT ID="LN">1621</FONT><A NAME="1621"></A>        <FONT ID="SingleLineComment">// Find number of arguments
<FONT ID="LN">1622</FONT><A NAME="1622"></A></FONT>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> j = <FONT ID="IntegerLiteral">0</FONT>; j &lt; argTypes.length(); j++) {
<FONT ID="LN">1623</FONT><A NAME="1623"></A>            <FONT ID="Char">char</FONT> c = argTypes.charAt(j);
<FONT ID="LN">1624</FONT><A NAME="1624"></A>            <FONT ID="Switch">switch</FONT> (c) {
<FONT ID="LN">1625</FONT><A NAME="1625"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'B'</FONT>:
<FONT ID="LN">1626</FONT><A NAME="1626"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'C'</FONT>:
<FONT ID="LN">1627</FONT><A NAME="1627"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'I'</FONT>:
<FONT ID="LN">1628</FONT><A NAME="1628"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'F'</FONT>:
<FONT ID="LN">1629</FONT><A NAME="1629"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'S'</FONT>:
<FONT ID="LN">1630</FONT><A NAME="1630"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'Z'</FONT>:
<FONT ID="LN">1631</FONT><A NAME="1631"></A>                i += <FONT ID="IntegerLiteral">1</FONT>;
<FONT ID="LN">1632</FONT><A NAME="1632"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1633</FONT><A NAME="1633"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'['</FONT>:
<FONT ID="LN">1634</FONT><A NAME="1634"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1635</FONT><A NAME="1635"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'J'</FONT>:
<FONT ID="LN">1636</FONT><A NAME="1636"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'D'</FONT>:
<FONT ID="LN">1637</FONT><A NAME="1637"></A>                i += <FONT ID="IntegerLiteral">2</FONT>;
<FONT ID="LN">1638</FONT><A NAME="1638"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1639</FONT><A NAME="1639"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'L'</FONT>:
<FONT ID="LN">1640</FONT><A NAME="1640"></A>                <FONT ID="Int">int</FONT> k = argTypes.indexOf(<FONT ID="StringLiteral">";"</FONT>, j);
<FONT ID="LN">1641</FONT><A NAME="1641"></A>                j = k;
<FONT ID="LN">1642</FONT><A NAME="1642"></A>                i += <FONT ID="IntegerLiteral">1</FONT>;
<FONT ID="LN">1643</FONT><A NAME="1643"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1644</FONT><A NAME="1644"></A>            }
<FONT ID="LN">1645</FONT><A NAME="1645"></A>        }
<FONT ID="LN">1646</FONT><A NAME="1646"></A>        <FONT ID="Return">return</FONT> i;
<FONT ID="LN">1647</FONT><A NAME="1647"></A>    }
<FONT ID="LN">1648</FONT><A NAME="1648"></A>
<FONT ID="LN">1649</FONT><A NAME="1649"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1650</FONT><A NAME="1650"></A>     * Return the argument count (number of formal parameters) for the specified
<FONT ID="LN">1651</FONT><A NAME="1651"></A>     * method. 0 is returned if the descriptor is invalid.
<FONT ID="LN">1652</FONT><A NAME="1652"></A>     * 
<FONT ID="LN">1653</FONT><A NAME="1653"></A>     * @param descriptor
<FONT ID="LN">1654</FONT><A NAME="1654"></A>     *            method descriptor.
<FONT ID="LN">1655</FONT><A NAME="1655"></A>     * @return argument count for the specified method.
<FONT ID="LN">1656</FONT><A NAME="1656"></A>     */</FONT>
<FONT ID="LN">1657</FONT><A NAME="1657"></A>
<FONT ID="LN">1658</FONT><A NAME="1658"></A>    <FONT ID="Private">private</FONT> ArrayList&lt;String&gt; argumentTypes(String descriptor) {
<FONT ID="LN">1659</FONT><A NAME="1659"></A>        ArrayList&lt;String&gt; args = <FONT ID="New">new</FONT> ArrayList&lt;String&gt;();
<FONT ID="LN">1660</FONT><A NAME="1660"></A>        <FONT ID="Int">int</FONT> i = <FONT ID="IntegerLiteral">0</FONT>;
<FONT ID="LN">1661</FONT><A NAME="1661"></A>
<FONT ID="LN">1662</FONT><A NAME="1662"></A>        <FONT ID="SingleLineComment">// Extract types of arguments and the return type from
<FONT ID="LN">1663</FONT><A NAME="1663"></A></FONT>        <FONT ID="SingleLineComment">// the method descriptor
<FONT ID="LN">1664</FONT><A NAME="1664"></A></FONT>        String argTypes = descriptor.substring(<FONT ID="IntegerLiteral">1</FONT>, descriptor.lastIndexOf(<FONT ID="StringLiteral">")"</FONT>));
<FONT ID="LN">1665</FONT><A NAME="1665"></A>
<FONT ID="LN">1666</FONT><A NAME="1666"></A>        String type = <FONT ID="StringLiteral">""</FONT>;
<FONT ID="LN">1667</FONT><A NAME="1667"></A>
<FONT ID="LN">1668</FONT><A NAME="1668"></A>        <FONT ID="SingleLineComment">// Find number of arguments
<FONT ID="LN">1669</FONT><A NAME="1669"></A></FONT>        <FONT ID="For">for</FONT> (<FONT ID="Int">int</FONT> j = <FONT ID="IntegerLiteral">0</FONT>; j &lt; argTypes.length(); j++) {
<FONT ID="LN">1670</FONT><A NAME="1670"></A>            <FONT ID="Char">char</FONT> c = argTypes.charAt(j);
<FONT ID="LN">1671</FONT><A NAME="1671"></A>            <FONT ID="Switch">switch</FONT> (c) {
<FONT ID="LN">1672</FONT><A NAME="1672"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'B'</FONT>:
<FONT ID="LN">1673</FONT><A NAME="1673"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'C'</FONT>:
<FONT ID="LN">1674</FONT><A NAME="1674"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'I'</FONT>:
<FONT ID="LN">1675</FONT><A NAME="1675"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'F'</FONT>:
<FONT ID="LN">1676</FONT><A NAME="1676"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'S'</FONT>:
<FONT ID="LN">1677</FONT><A NAME="1677"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'Z'</FONT>:
<FONT ID="LN">1678</FONT><A NAME="1678"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'J'</FONT>:
<FONT ID="LN">1679</FONT><A NAME="1679"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'D'</FONT>:
<FONT ID="LN">1680</FONT><A NAME="1680"></A>                args.add(type + String.valueOf(c));
<FONT ID="LN">1681</FONT><A NAME="1681"></A>                type = <FONT ID="StringLiteral">""</FONT>;
<FONT ID="LN">1682</FONT><A NAME="1682"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1683</FONT><A NAME="1683"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'['</FONT>:
<FONT ID="LN">1684</FONT><A NAME="1684"></A>                type += c;
<FONT ID="LN">1685</FONT><A NAME="1685"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1686</FONT><A NAME="1686"></A>            <FONT ID="Case">case</FONT> <FONT ID="CharacerLiteral">'L'</FONT>:
<FONT ID="LN">1687</FONT><A NAME="1687"></A>                <FONT ID="Int">int</FONT> k = argTypes.indexOf(<FONT ID="StringLiteral">";"</FONT>, j);
<FONT ID="LN">1688</FONT><A NAME="1688"></A>                args.add(type + argTypes.substring(j, k));
<FONT ID="LN">1689</FONT><A NAME="1689"></A>                type = <FONT ID="StringLiteral">""</FONT>;
<FONT ID="LN">1690</FONT><A NAME="1690"></A>                j = k;
<FONT ID="LN">1691</FONT><A NAME="1691"></A>                <FONT ID="Break">break</FONT>;
<FONT ID="LN">1692</FONT><A NAME="1692"></A>            }
<FONT ID="LN">1693</FONT><A NAME="1693"></A>        }
<FONT ID="LN">1694</FONT><A NAME="1694"></A>        <FONT ID="Return">return</FONT> args;
<FONT ID="LN">1695</FONT><A NAME="1695"></A>    }
<FONT ID="LN">1696</FONT><A NAME="1696"></A>
<FONT ID="LN">1697</FONT><A NAME="1697"></A>    <FONT ID="FormalComment">/**
<FONT ID="LN">1698</FONT><A NAME="1698"></A>     * Return the return type of a method given its descriptor.
<FONT ID="LN">1699</FONT><A NAME="1699"></A>     * 
<FONT ID="LN">1700</FONT><A NAME="1700"></A>     * @param descriptor
<FONT ID="LN">1701</FONT><A NAME="1701"></A>     *            descriptor of the method.
<FONT ID="LN">1702</FONT><A NAME="1702"></A>     * 
<FONT ID="LN">1703</FONT><A NAME="1703"></A>     * @return return type, "V" if void.
<FONT ID="LN">1704</FONT><A NAME="1704"></A>     */</FONT>
<FONT ID="LN">1705</FONT><A NAME="1705"></A>
<FONT ID="LN">1706</FONT><A NAME="1706"></A>    <FONT ID="Private">private</FONT> String returnType(String descriptor) {
<FONT ID="LN">1707</FONT><A NAME="1707"></A>        String returnType = descriptor
<FONT ID="LN">1708</FONT><A NAME="1708"></A>                .substring(descriptor.lastIndexOf(<FONT ID="StringLiteral">")"</FONT>) + <FONT ID="IntegerLiteral">1</FONT>);
<FONT ID="LN">1709</FONT><A NAME="1709"></A>        <FONT ID="Return">return</FONT> returnType;
<FONT ID="LN">1710</FONT><A NAME="1710"></A>    }
<FONT ID="LN">1711</FONT><A NAME="1711"></A>
<FONT ID="LN">1712</FONT><A NAME="1712"></A>}
<FONT ID="LN">1713</FONT><A NAME="1713"></A></pre>
</BODY>
</HTML>